-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 20 Nov 2024 10:43:12 +0100 Source: coq-elpi Architecture: source Version: 2.2.3-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Changes: coq-elpi (2.2.3-1) unstable; urgency=medium . * New upstream release. Checksums-Sha1: 93808b66e6ffb02c95fa8d0186a40611940cde17 2061 coq-elpi_2.2.3-1.dsc bb783ef32a84bbff20509081767d0ff41b556705 753938 coq-elpi_2.2.3.orig.tar.gz 35e6d007a039dde77cec28a5a2ea1e5f439ac51b 3720 coq-elpi_2.2.3-1.debian.tar.xz d02157b6cbcfc9fda4213e1db32786afc67aa40e 7885 coq-elpi_2.2.3-1_source.buildinfo Checksums-Sha256: dff9ae5084772294fe623a7d171228445c170098b82550b5f494573f31a14c1e 2061 coq-elpi_2.2.3-1.dsc 3166d098ba4a05bdb7036a653aa1793ab7eef50830e37db3d73f15a4faa64cc8 753938 coq-elpi_2.2.3.orig.tar.gz 78c1321f338c50db2e2dfcbd235fc2296333764ddcb7f31bb8b4ab7ae43292fe 3720 coq-elpi_2.2.3-1.debian.tar.xz 168d457fb034491b7fd529d7e2cc716565a04e8b34b150113f71d65041ed6f7d 7885 coq-elpi_2.2.3-1_source.buildinfo Files: 960cfcd87d2c41ad25cf529f9bbf5303 2061 ocaml optional coq-elpi_2.2.3-1.dsc 90e6b8d2397729b5d1725fed35da8cef 753938 ocaml optional coq-elpi_2.2.3.orig.tar.gz a29307f9fe836f510a64c1ff330d86a3 3720 ocaml optional coq-elpi_2.2.3-1.debian.tar.xz c231c61ebe66ef1b07e56aae4df2f1d9 7885 ocaml optional coq-elpi_2.2.3-1_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmc9r1oSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRMIYP/A4MTOtqpaQX6E4HPu6XdFJqjA5rwbRY LEHEpF/UtgQQQi9U3ic5TqnEKVgmMGTKS78xZ5Ff00l3Mt/wLoUx/HIza4PjDoD1 SL8+NgNbAi0uehSMuvrYAOSJ2duhi/e4xIKm9+ei47RwapyN4V6jmRDmApisuAtd BAeYZ5PHkzCF4J6px7GqmZJls1CUYImjdlPTDKMcFTCRyRuCGPR9ylKbJbKGV4BN CwUKx9slwCXfkkQM/ckRGo1tMgIGR18tu04SjFACDKpQcrpZFky06QiGAA7miDRb 7OjhK9aQSpgehZASYMYqok+a6tnRUZ7uYUdzj666F5DH8t2cwXPR1BUqklPDfPG5 T2AO6HV/oSPE8GTKR93LvgZcb0Ue/il6oZmaHf/nTcQ1/wNTE3a0iiLwD9fCli+O dWDn0lY06uMrmii52wLKocZGkNe8Sg3s2dYkffyM9A4NMnYpIBwxj8sJ7jKxHzK/ RAH5X6pexLuR8+pZP3/kssAyZyiLShOHOA8QLar8HjTer7wYnVN3hbLNDtNybI+s f2GW42+Z2Xb8yf/mcXGtbba6vymbS/MFrMU0/i5p+74zXRvsXkUlMm/2WVYnJ09A xxXn6eHFby1tuFLoe6QzYLJgHZdXk2TvVyDtwpIeuuzKF+TZpXV7xA9sSdCz1Ldu NW08Hck2khf9 =R0GE -----END PGP SIGNATURE-----
