-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Sun, 06 Feb 2022 12:56:20 +0100 Source: coq-elpi Architecture: source Version: 1.12.1-2 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Changes: coq-elpi (1.12.1-2) unstable; urgency=medium . * Adapt to the new coq library layout. Checksums-Sha1: 398b1a8643272a221bbb1211a47d436d1805b203 2088 coq-elpi_1.12.1-2.dsc 8f17900898824012e26870266b91daff348599af 4040 coq-elpi_1.12.1-2.debian.tar.xz 3dfd5f2ddc36b618e6b436a74d3b93f4b2f88768 7990 coq-elpi_1.12.1-2_source.buildinfo Checksums-Sha256: 808427cbcdcf456bb039405f64ae811859263ed02d3e8bbeec140ed1bbf5ae60 2088 coq-elpi_1.12.1-2.dsc cdc3d353db59bdaefbd80f36ef7ad931c1d009c8b4f23f40fc1e47bf46fd3d00 4040 coq-elpi_1.12.1-2.debian.tar.xz 82d62d012f453234207da92238c7a39dd01b27bf89e45404254aa3282078ba6f 7990 coq-elpi_1.12.1-2_source.buildinfo Files: b1f36e47d434d50672892bc1c96a60c2 2088 ocaml optional coq-elpi_1.12.1-2.dsc 8c557c4a9f2f8579aa3fc9b7f2fb980d 4040 ocaml optional coq-elpi_1.12.1-2.debian.tar.xz 3317bb9531feadb53914234ecca9dd37 7990 ocaml optional coq-elpi_1.12.1-2_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmH/t4YSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRLqIP/j6xIIDxPG0qH75gJLqMUSanaHMTAbwE qVJvaYJpgIl3kR3300K4R2gUyPRsmjvoV6Sli5A78XrryGsfO29hZGjphOE2IVc7 MmOEKucjLtmZokaQc5Q+60HfSRUgOwZifsUXTB+ydhOFYSxUHrWMQjGkSpWDye1E FsvEyVoIC8uJuAmUuh5C5QPINB2HcOtLjr4ZRUROcVHHE9QoU6DPK0ev2G1a+2C+ wDTI4vCo9Fmi4zCj0fdARxFD6eLo3RwljivYS5BBezJeOpyNYx+yMiEer6pLgVbk ZLElcg4k7I3WPvC/chVBFPCpn8Xj/15/RYABO5wF4vwHWPZw5eR3ZO4sg4rVX6vX fYPxA5IcYFNlnMWGeh6XR/rXxF4Dl6fmyzrGip+18NM+rXSeYeGgb1tEFTWiMG87 3t8rxRKwWnJLMKfsuZouf3nKnV8pvvsUyhAhyl4F7JbbuYSg50txOB9iqOKLGezy /jepQy1hlGriU5aw6ELBPpBfly3H4Bvxw5Lu65B7ZfARGlN5K0WlY1ZgYE5lQYDL lr4otsRVj6BAkG+QIz2mYNdfYxcDZ3Yn25Cwps2KEL7NpDM9LpTtKLCdsXGJ2/Ou KHABvcNghsW/nFD8ahcqT2lAMMMmhYQMjG3E+2fH8G1mS45ONGi/ve0mqx2qm1jK bNtS8AvUZpdq =xyxi -----END PGP SIGNATURE-----