-----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-----
