Accepted alt-ergo 2.0.0-5 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sun, 01 Sep 2019 08:18:21 +0200
Source: alt-ergo
Architecture: source
Version: 2.0.0-5
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Stéphane Glondu <glondu@debian.org>
Changes:
alt-ergo (2.0.0-5) unstable; urgency=medium
.
* Add libnum-ocaml-dev to Build-Depends
Checksums-Sha1:
6731e8d82891c3fb10798715c0000102667b796a 2037 alt-ergo_2.0.0-5.dsc
cca25b4b193543fa40057beade8d4303a85ce35c 7012 alt-ergo_2.0.0-5.debian.tar.xz
Checksums-Sha256:
37519c0545f6b6f2398953c1f15c85f3fbdec2bb6714fdf3597b9a870d2980f2 2037 alt-ergo_2.0.0-5.dsc
efefa0597a2e3c31884226d282e9f8f3617ecbd00f59c05160c268847233b112 7012 alt-ergo_2.0.0-5.debian.tar.xz
Files:
b3826ccb82e839ae6cd6ff70fe106651 2037 math optional alt-ergo_2.0.0-5.dsc
24f31744aa0140b97f3b02c7b3d660d9 7012 math optional alt-ergo_2.0.0-5.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAl1rYzoSHGdsb25kdUBk
ZWJpYW4ub3JnAAoJECG47vGxiTCBZUIH/jYvY3nYaIkmsOIoESJoA/VrP+30I0CB
CcbZ6W1xlquFN+Jeju2j9rvlsXU71qlWRr/h5d2+QUZroHbs3ouwQ7ud8fIdx7zJ
YJ2ZNOs94lBHlCixKUY4LXAhwSkL85DAqjqysduEW+FQ7nNSWN3cNa+/qhfzyBvZ
c2MG6puiooyhXl6Qoj3xairZOKrv6+rzjPWJbkORGgLBFjCTMsFXQjuZbToaaVOn
yNI4o/fRXDOYYoWfzxjdeJTkF5J6bhECnJZaqCEqMx6P4BUykWEs4nKcNN2c+WzI
BGRcA2dYmnxas7UdhK5YaEnxtlcgpO4unOVBKIeOhDHCgQn+EDAnm8Y=
=1EYJ
-----END PGP SIGNATURE-----