Accepted coq-elpi 1.12.1-2 (source) into unstable
-----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-----
Reply to: