-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Thu, 12 May 2022 08:34:18 +0200 Source: coq-hierarchy-builder Architecture: source Version: 1.2.1-7 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.2.1-7) unstable; urgency=medium . * Really fix the dependency on the Coq ABI? Checksums-Sha1: df15c323134e91a041926d8e6e0d8227fe1b2983 2214 coq-hierarchy-builder_1.2.1-7.dsc 5164da38a106720df6f6d8b36943aead96a5be79 2932 coq-hierarchy-builder_1.2.1-7.debian.tar.xz 173e9abb082b6a7de7d94dd37bb246bcfab03498 7322 coq-hierarchy-builder_1.2.1-7_source.buildinfo Checksums-Sha256: faf4e386b2acc44afd8e129e01239153efcb8048ee6627ba5e3a35b143185fc8 2214 coq-hierarchy-builder_1.2.1-7.dsc d338360bebd49df121ec4198bf97c32e02191a776684d29eb92e8259df8073f2 2932 coq-hierarchy-builder_1.2.1-7.debian.tar.xz 041238bd64fe6e36046201fa843ab02434d6ddf2db57e329a70e6b3b07723c19 7322 coq-hierarchy-builder_1.2.1-7_source.buildinfo Files: eaa80f274e8e2eddfea7d7a3366ca8c7 2214 ocaml optional coq-hierarchy-builder_1.2.1-7.dsc 380f62b79b9d650a432996fcc758c2f6 2932 ocaml optional coq-hierarchy-builder_1.2.1-7.debian.tar.xz 39e74c7775eeaa6b057ca2eea0d996f8 7322 ocaml optional coq-hierarchy-builder_1.2.1-7_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmJ8qpISHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRoCoP/RdDrkWwSbeGdIdZp2z4jDSMEYzYRXrK U41wm0VQYtg1Kf3cSLLn4TIXphJDmjtpLMRy7t1futjfP0arxEKT11mR3KTY9dET 69ASQCMVmn4rcE5mYCBIQA5ogtl/L+kS1ZXCiJdgcZDohMkC87UmDUQIX5T2iRna RlNa9AXYoCMqu7P4bud3M4jHMnQAaUtmJhQZQdMMoQ5afTW8y5GRq6RGXzyS0AXv TEGJeC0cz/Qe147tQsRvtikyeoBNfhJcH8lIbLzTv/m9chW7v1Y5Gg8tdenn0BIu y5RLiDKGDZF9/xRfsUiKga7hv0QequhGN4rvBV5OL6cxIaIFlH6Z5ixB8N1jqcQr zuVvtnDKl3SYbdmId2OvZBfoeMc9F8lb+yonSb/4OAxxzEro9MZD5YaOMmcxXDOM BOX0u0IWBZDDfW3eiwm2NRrmJSi+yZ21nIug335FSDzmU43eNBgjN/pvFD/AY6yw ihElHz0eyd1u6ifHvSay7FFbxAgqXr4GyffVwJutZDhrvZPkgBIIBPY1FzPGhF+3 m+w6fWJbHsa9iRrj+S47oYp3b0wU0DipSXaDxuyXV2BWE/ETKNKKn7Jo9fHIzCeb FzDsHyHG/HviXMddGCtcY8xkgphzCpOwTl51po4G6dtKKUzy+lU/bKDsel9f6L5k 6Wtlsdardaf3 =5FAo -----END PGP SIGNATURE-----
