Accepted why3 1.4.1-1 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Sat, 19 Mar 2022 12:16:02 +0100
Source: why3
Architecture: source
Version: 1.4.1-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Ralf Treinen <treinen@debian.org>
Closes: 1003801
Changes:
why3 (1.4.1-1) unstable; urgency=medium
.
* New upstream release.
* New patch ocamlgraph-cma to cope with the fact that ocamlgraph does no
longer produce graph.cmo (closes: #1003801)
* Drop building of the why3-coq package.
Checksums-Sha1:
17c2b967450a3447eca128d88969e9f347c4f9f8 2662 why3_1.4.1-1.dsc
6222ebede22bbdd4d15ecdbea824c0814fa4e671 6305011 why3_1.4.1.orig.tar.gz
1a9763d0af0b97d0691f2f18690a3f0a7763e641 20384 why3_1.4.1-1.debian.tar.xz
a5c2eff27917f5cb1e124d515536f1f3f97f411f 14988 why3_1.4.1-1_source.buildinfo
Checksums-Sha256:
a1ab0e558b40e0e9a7c248d86445e76b3d8321e83c4f109911523fa84fd87da8 2662 why3_1.4.1-1.dsc
580eec4d9af0bd4f37ebc34e1fa82b3edbed3b2f0cd0e907b1f9a94dfff51ee7 6305011 why3_1.4.1.orig.tar.gz
e5a3a77ab7c2fbe049893250cb68a923f4724f177d2eed188ea8f555de584c7a 20384 why3_1.4.1-1.debian.tar.xz
7a608a21756c24c86709d28ea35d63d4faf9d42b0be6256e736b50cd781922c1 14988 why3_1.4.1-1_source.buildinfo
Files:
917252715f0639192cd6bc45bb13acd2 2662 math optional why3_1.4.1-1.dsc
4710c10b5cfeb63950f3cd12b5d91a49 6305011 math optional why3_1.4.1.orig.tar.gz
71206d89e11a4af627444be992145edb 20384 math optional why3_1.4.1-1.debian.tar.xz
fcad88ae6230691d321c3136826ffa7c 14988 math optional why3_1.4.1-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAmI1u8IACgkQdFxHZtTK
zf+zNQ//QeEArcHtsWVUdhSLayP+mLV6Lrc2cObbMAXHO676XkWIt14snATmmm9M
IBf4AL7gq/BMojYaTdgqpBEP16Bp9HZA6bkdamm8oKAYytZx7OpDrhZpM/HzPEm6
PcUsFstNZbO1rZJU8h31fo2G7ZGFbe84cW9kkG8sJCHsD63gWtBSoK6PuEBoi2CO
9MiCZFBcpb3yBPAEcvc366IJ2si6XZJ2W4VklJGnUi7MVnTHJxPpIiqc/Dpog0ES
c5OPy9yQVxURU3V2iPZIbPum9/qcbdlYA9EAmPz3A5+blpCD5mvEHHQymkSeffz1
yQ4dYzowbkUi0LGNnM7KEXyV24dayXTYZjOUOMoZNYie8maApiaBbaqYJTHGkTd/
7tU+7WYYYixpHKityJBWwLKMBjC8ELpGq7JdJw+mz07eX9hPK3t01hgCQ8ORBJ88
T9JQ/maU1vrgantpyq7MaUYSyRMVfTKzgtFlfZhd93VxUm68T7kJaX7rULbjTHot
jSVcyRIPX11XP97SULGozKvAfWgrzaZT4mFvNtakVETrhErZlAfmCcodZ4HIBgHw
ar5apKA9YyFZe+3ofxiEEUquqd0k7nlvHicLPPOgZ1jLHX3ZmzJCkWnx34+rSWYM
hCnVAbRb8WdsDOWqP0OVShH3eN82BqblZyPsHCIxlp95gnIZgJ4=
=ZW5F
-----END PGP SIGNATURE-----