-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 26 Oct 2022 08:54:20 +0200 Source: coq-hierarchy-builder Architecture: source Version: 1.4.0-2 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Changes: coq-hierarchy-builder (1.4.0-2) unstable; urgency=medium . * Rebuild to cope with new elpi. Checksums-Sha1: e0db39d311a316d5ef91c33c1b6e5090b961d77b 2225 coq-hierarchy-builder_1.4.0-2.dsc c68077e621a3cb7a341f8f032d576d299d525647 3132 coq-hierarchy-builder_1.4.0-2.debian.tar.xz b80512b5282db22aadd4944cd01e6ad47288a709 8077 coq-hierarchy-builder_1.4.0-2_source.buildinfo Checksums-Sha256: 5771e66d5f591956cc8aada1c50788da30249ec5ec548a31177516030a22a493 2225 coq-hierarchy-builder_1.4.0-2.dsc 5fba885d6160c4fa136eb7f9344a1e50c54a4f0db799495202053fbb2139b3da 3132 coq-hierarchy-builder_1.4.0-2.debian.tar.xz be7b2ba13d696ea3dee656e2a425856b65fca041c11a47e60ccc64dba4a562fd 8077 coq-hierarchy-builder_1.4.0-2_source.buildinfo Files: ba43e65af6b3583ef512ad7d8728f399 2225 ocaml optional coq-hierarchy-builder_1.4.0-2.dsc 4de27c5d3fc546e35ce00bff9292fdfa 3132 ocaml optional coq-hierarchy-builder_1.4.0-2.debian.tar.xz b6435c2dbfe1a0c851294c0dc1b6f136 8077 ocaml optional coq-hierarchy-builder_1.4.0-2_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmNY2coSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRQaQP/0h1ZWSO4SqS+xGMcMFCqSXWXy4LDcEp 9BUMK1AHGaRsIrDEP7tH4xAwS2VyDo1wJZALKA2yfSVWv4mk9bay/61rlPdFiVZ8 R7W5nLi+TcCdQTeJnNd7YU765GCPLx5VtqEPrAfh2eM0oa5pmoLNbBd0/6oRIN+A KsUb9Mv5SOv6D1E66LfO2fqRCbyxNPdhChQQKSlnmDvXck3POHM8YRlpzyElmqNm J+8kNlybSE0Lo8hMUyG3Udgmv+0hWMByCC0oSqwrsq8vD7UrTBp4W7c2AbmWrYLW wM1VmTw9u9fvhm2+BcTNiSoxYDGPIAI9uWMT4S8fwBuy3fXP5CyqYijznQkJr2J3 GZzga7VUs9xcZiLA0PvOZiBDb1pvpoIwV0RAhnJxWV3ZbX22d1IZODk8I3tn80rK 3EXq/HpWOAYHv5vldlDyqVqOWZdWZr47Vwq2ziLMlW5xxm9F1+MDcjb2N/j+IA1k x185fxcxqXjADtisyU6himQul3ygYfs48xIt6niM7t/7mkQHz7VD7iyTUc4LYvBr Wqql86pTPx9GcmNS6uJhXBd7/DX5LaZAMrI8QaDA8rZYMieh0+Vx7g2QjjzViAx+ hd+Oz2PwAVmVPlTVZH3Nzy1QhlQDaQHkkzRMqmYDJiFZHlwWjKmmLS2Fe8slwBPK dRCPpHSdd1M5 =1jN4 -----END PGP SIGNATURE-----
