Accepted alt-ergo 1.30+dfsg1-1 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Thu, 21 Dec 2017 20:01:21 +0100
Source: alt-ergo
Binary: alt-ergo
Architecture: source
Version: 1.30+dfsg1-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Ralf Treinen <treinen@debian.org>
Description:
alt-ergo - Automatic theorem prover dedicated to program verification
Closes: 882162 883755
Changes:
alt-ergo (1.30+dfsg1-1) unstable; urgency=medium
.
* Repack source to exclude the non-free/ directory (closes: #883755).
* Patch ocplib-simplex-0.4: patch to compile with version 0.4 of
ocplib-simplex-ocaml-dev (closes: #882162).
* Standards-Version 4.1.2 (no change)
* debian/watch: drop pgpsigurlmangle
Checksums-Sha1:
41acb522edee9b3d5dd551a0f6182e7d3668d72e 2289 alt-ergo_1.30+dfsg1-1.dsc
6e9cc2b5cd31933fc4e40090b79bf714af4f4cf3 264224 alt-ergo_1.30+dfsg1.orig.tar.gz
195f099664252ed356283d1c0db34df7e0d913e1 14672 alt-ergo_1.30+dfsg1-1.debian.tar.xz
547078872b298de49a67883c423df129e144e61c 12298 alt-ergo_1.30+dfsg1-1_source.buildinfo
Checksums-Sha256:
0a39db8f1b992d51e253320371a04b9d6ed92ac4d18e7fc7966b4f411d1b325b 2289 alt-ergo_1.30+dfsg1-1.dsc
a9846a2dc56bfc89bea99105c277d2f80cfee1ad861df2e92728ec6379465b51 264224 alt-ergo_1.30+dfsg1.orig.tar.gz
cebdd6f6e159c4e68e4363de0cc1c72c842b61a8accf76ff1956b6d1a31982b4 14672 alt-ergo_1.30+dfsg1-1.debian.tar.xz
9a4c06d4e5cce27123a49b033943cf20ef8f762c425dc1e5c80531c56b5f03d4 12298 alt-ergo_1.30+dfsg1-1_source.buildinfo
Files:
4c5d46cdfe93eca5f1ff4e62d5d61858 2289 math optional alt-ergo_1.30+dfsg1-1.dsc
bec46dfaddd266dfe4d7b8534221afef 264224 math optional alt-ergo_1.30+dfsg1.orig.tar.gz
fb1a6ab2c7969218ad7b9de11c547297 14672 math optional alt-ergo_1.30+dfsg1-1.debian.tar.xz
28eff05f7f4a74317b6b562bd6959b0d 12298 math optional alt-ergo_1.30+dfsg1-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAlo8CDgACgkQdFxHZtTK
zf+RmA//WgeqISaDfbbwnO2Y0sae+VZlBHIqSR5agHKLuHjFNZttcKpMLD/JNkUh
8rZgFKDkZklg6RbpbmAXgouliUob5kwhGYuDXqP9XfLlAp6ubAuDbKvTFbme+qU3
pLXHp3GRDGZFmcIrVvpwyHWOb0TSLMGDPHf5PjyM5zG109J4qUQKZQaMe0jjDolH
Wd5srX1Mhz+gLpGzdo0CqxaCEE8hs1jeocAtR3/Ugm+5aWxiBNP16Cng7qxkaF3p
huwJWfRsUyuFRHB/2s/QjBc7LSN+Kj3ViEJqQ/EWWUFnD3aCiJNMAVy48irjfBtC
tNHSbRL73GfPznNXin8t8sns/aoR2fO8kvRc17BswVKh6zayVOgx24nOHg8++/ag
PsK1e8TBsq+F62dr8LWCpfmDBlLC4KX9ew+ICHWsYTjjtSS/9JGTlbcXnxT7epSI
9jY6XzXkgly7wAGXuoznV1UNnnJuwyiKOanvQ6K302Y4+6ZcUAmVZ8sBMO6HFgya
zfmTTxCysMwKh0WQs6MOEU7oKuBveeQNhW+8ZBk0MW5vSjaAu71poKa7/HXKHFZM
vo+mFVI9/fyyGqiDG800y0yIG6fVjj8bDV5dIdDYMyo0G0UFGfAfTlN3xu2u0KGM
B5SeGd/n4IytI+A4O4C4qQsQxmLvupEt5cpj3u9836V2zE9XEuI=
=6GbJ
-----END PGP SIGNATURE-----