-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Tue, 11 Mar 2014 14:30:20 +0100
Source: mathcomp
Binary: libmathcomp-coq
Architecture: source all
Version: 1.5-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org>
Changed-By: Enrico Tassi <gareuselesi...@debian.org>
Description:
libmathcomp-coq - Mathematical Components library for Coq (theories)
Closes: 741345
Changes:
mathcomp (1.5-1) unstable; urgency=medium
.
* Fix copyright file (I'm the packager, even if I've copied much from
the ssreflect package Stephane made).
* Initial package (Closes: #741345)
Checksums-Sha1:
315f9248c1646d5ab7e21b6fe2cb692125f4e05d 1994 mathcomp_1.5-1.dsc
4601d61092fc3ebd7279c7c3efb53de5ec2c9912 1043834 mathcomp_1.5.orig.tar.gz
d6985705ee90665197a9a036d3ca8b6d7b7337a1 9384 mathcomp_1.5-1.debian.tar.xz
c50f1cb97708d2074be3d68544fc50b93458e9f6 22733628 libmathcomp-coq_1.5-1_all.deb
Checksums-Sha256:
c067d8666c2e8fc52ff35de62adcb1f90abdf99f5c22e183576d96823d723e08 1994
mathcomp_1.5-1.dsc
55ad520996541dd2d76c2ed24d7b74b64091158d586fd43ccd74a110f9d62789 1043834
mathcomp_1.5.orig.tar.gz
5e9f3c02558660a25637fd5ff4ca0ab0b64c830b373fc9308af52734d666c9ac 9384
mathcomp_1.5-1.debian.tar.xz
ac39ee283e3ff8186e9b8979e8f235b542fdf0dfc38f8149b468e5529cadbb46 22733628
libmathcomp-coq_1.5-1_all.deb
Files:
be678915ef0dcf0130cc146428f2f3b6 1994 math optional mathcomp_1.5-1.dsc
f6f24df228569f0095d710063a633709 1043834 math optional mathcomp_1.5.orig.tar.gz
30c8418180b0d9ec56b0d93257340a98 9384 math optional
mathcomp_1.5-1.debian.tar.xz
877a81b75ff1b3773760416b08cd6b3e 22733628 math optional
libmathcomp-coq_1.5-1_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iQIcBAEBCAAGBQJTIjAdAAoJECUFM8yim3ZPLfcP/RlkEjggb38b51HP6PaWisXa
OluLRiiHMhdP/GWjd0WjaY3p1jFD2SNPXewJOEvovA1ETf//mpUBpo+HacHCcp5w
wB9b/lndh3MKQMUo/BL+B5Qp7bo7wSyTrN3H5TMk6iRKkwz+3qQ2aWHM2UkznZv7
rLxLWlmi9FYGYvm8XO3mSJFpNPeD8XCgKKszy/hMSIlLGioCRZQKP9KUwMKg+EL5
xrSS20Jnonuke8OpGns40zDi6WOuuK2h/Zlt/NnJiU4CRy4UZRhN1OgwlNFAjuNS
zuaCpqTZ12q9FyuIZBWz9X1nrRKrh7vN9MM+j2PD4RIVAaxapy9My8fE99JYC6SL
soL1YaOqCLaKsAL/OyEtUo3Sdf80xL0IIDlfrOfbUSN44YbNGBGaAMoIG6q3OhLf
1mkPO3KSNXfWLk1LV+MVeC7wqjKA3tZKVAhNnNdS0fAxIfeoz+IvupGwKprjXycZ
nmHDrouP17AxnnR0LtltP++nsLh96KSaZelPmkcSr0h74GnBKN5rttmKV5KXEdX0
1Scjf4Pd0XCKQ0wZT+ihROewhCXPQT6u9HHFXuCUFXwP65WvofupCJjlxkl6GJwP
tLolx9x0Ge/9geuQa2OkbaBgK2G0n3IeSB6DzImeczBLVi5F/zxsUlnMHzBVQmWV
vPY919QTI1wmC6khnUdt
=Lycp
-----END PGP SIGNATURE-----
--
To UNSUBSCRIBE, email to debian-devel-changes-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Archive: https://lists.debian.org/e1wpatv-0002fp...@franck.debian.org
