[ubuntu/xenial-proposed] mathcomp 1.5-4build1 (Accepted)

[Iain Lane]

mathcomp (1.5-4build1) xenial; urgency=medium

  * No-change rebuild against new coq

Date: Thu, 12 Nov 2015 12:11:34 +0000
Changed-By: Iain Lane <iain at orangesquash.org.uk>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/mathcomp/1.5-4build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Thu, 12 Nov 2015 12:11:34 +0000
Source: mathcomp
Binary: libmathcomp-coq
Architecture: source
Version: 1.5-4build1
Distribution: xenial
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Iain Lane <iain at orangesquash.org.uk>
Description:
 libmathcomp-coq - Mathematical Components library for Coq (theories)
Changes:
 mathcomp (1.5-4build1) xenial; urgency=medium
 .
   * No-change rebuild against new coq
Checksums-Sha1:
 887db5e43fb3f307fd345e631163b1d09a2fb1d2 2023 mathcomp_1.5-4build1.dsc
 8230f5377fc87c6e54536d7bc0742663f82f8e47 9556 mathcomp_1.5-4build1.debian.tar.xz
Checksums-Sha256:
 dad1e2f5ab1a27d3bfee5df0e4a3017e0bde473e0272d6c783152e2aa5e4a3d1 2023 mathcomp_1.5-4build1.dsc
 eb96d137cc33a39616f9c71b9bfec59e5fdcf5743ae2ae9d68a53f246f708b79 9556 mathcomp_1.5-4build1.debian.tar.xz
Files:
 72c27d415b2ea41febb1b205c6ed30d0 2023 math optional mathcomp_1.5-4build1.dsc
 15d8f19921f89a1b61069e273e99e0e5 9556 math optional mathcomp_1.5-4build1.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQIcBAEBCgAGBQJWRItcAAoJEONS1cUcUEHUybUP/37kyHdkbl5V6COtX/If6k48
f6crjUzMjIEfoMn9ywsgAKB+EgFRZBj9MDq1GJEtl9fA7kNnq2G+4vsGCVhX53wE
qtVjIvT55qtV4Kwq1T1LhjQONf8sICfgCmiTOd7ia33e4O6FYcygtTA0UWcMqGW8
Mx+/L909ddJ3uRxjUvU684bKD83KyrZINUxyzjtUPs3u26x41KRn3/TxZdTZl2BR
dGbIETWjG1SU0Ov40hwJZvTZLkKsUJwuy5aXEv2sWGqYynRmAnnOugYhH+xH9cBO
Wf6HAuMR+Pe4Pe4oE3bhv7+3MxKGXamc/C0OO0zCclaG/Q0fozcszArliuHySaXU
17nBDavvjadP3HXwtQK2mrqEPANWIVst5C75i2IkJpPu1YCWkukTc09awfgJv0LT
BMBBwJ2dZOto6rEgxm7R6fQeWh3iL11+/XpusJrSiSVM7AO/QuyV/rtZ0FXHRX3h
wZ91z4Q82nSl7JkdRVwq+bhmNmuuO0Xb7M79Ps4vnwFtR4jOqWkFnJFsKLEUdNUn
YG5E+fHymG4aOcqXm/TOlNpZiofkITzpkVUIqe+qMuF0kcb5mlhfYWexGJcv5DpM
NSej7DljTlv2omjidmq/cvNRGdzVd2noXJqGNhTeOWqJwdbVgjgnbRVpef/QesRL
oXMXE69ekdFDHXv5QWiW
=/U4+
-----END PGP SIGNATURE-----