- Committer: Package Import Robot
- Date: 2015-08-12 14:05:45 UTC
- mfrom: (4.1.6 sid)
- Revision ID: package-import@ubuntu.com-20150812140545-mah937ti7v2y1avi
[ Sylvain Le Gall ]
* Remove Sylvain Le Gall from uploaders
[ Ralf Treinen ]
* Remove Sven Luther from uploaders (closes: #677755)
* Standards-Vesion 3.9.6 (no change)
* Convert to source format 3.0 (quilt):
- update source/format
- drop build-dependency on dpatch
- convert patches in debian/patches from dpatch to quilt
- drop explicit patching in debian/rules
* Simplify debian/rules: use dh overrides
* Remove Sylvain Le Gall from uploaders
[ Ralf Treinen ]
* Remove Sven Luther from uploaders (closes: #677755)
* Standards-Vesion 3.9.6 (no change)
* Convert to source format 3.0 (quilt):
- update source/format
- drop build-dependency on dpatch
- convert patches in debian/patches from dpatch to quilt
- drop explicit patching in debian/rules
* Simplify debian/rules: use dh overrides
| Filename | Latest Rev | Last Changed | Committer | Comment | Size | ||
|---|---|---|---|---|---|---|---|
 .. |
|||||||
.pc
|
4.1.6 | 8 years ago | Package Import Robot | [ Sylvain Le Gall ] * Remove Sylvain Le Gall from |
|
||
|
debian
|
2 | 20 years ago | Bazaar Package Importer | Added a depends on libgmp3-dev for libgmp-ocaml-de |
|
||
benchmarks.txt |
1 | 20 years ago | Bazaar Package Importer | Import upstream version 20021123 | 1.5 KB |
|
|
|
ChangeLog |
1 | 20 years ago | Bazaar Package Importer | Import upstream version 20021123 | 833 bytes |
|
|
|
config.h |
4.1.6 | 8 years ago | Package Import Robot | [ Sylvain Le Gall ] * Remove Sylvain Le Gall from | 1.5 KB |
|
|
|
conversions.c |
1 | 20 years ago | Bazaar Package Importer | Import upstream version 20021123 | 3.5 KB |
|
|
|
creal.ml |
1 | 20 years ago | Bazaar Package Importer | Import upstream version 20021123 | 21 KB |
|
|
|
creal.mli |
1 | 20 years ago | Bazaar Package Importer | Import upstream version 20021123 | 2.9 KB |
|
|
|
creal_pp.ml |
1 | 20 years ago | Bazaar Package Importer | Import upstream version 20021123 | 98 bytes |
|
|
|
creal_pp.mli |
1 | 20 years ago | Bazaar Package Importer | Import upstream version 20021123 | 50 bytes |
|
|
|
essai.ml |
1 | 20 years ago | Bazaar Package Importer | Import upstream version 20021123 | 4.1 KB |
|
|
|
FAQ.txt |
1 | 20 years ago | Bazaar Package Importer | Import upstream version 20021123 | 541 bytes |
|
|
|
gmp.ml |
4.1.6 | 8 years ago | Package Import Robot | [ Sylvain Le Gall ] * Remove Sylvain Le Gall from | 21 KB |
|
|
|
gmp.mli |
4.1.6 | 8 years ago | Package Import Robot | [ Sylvain Le Gall ] * Remove Sylvain Le Gall from | 16.8 KB |
|
|
|
INSTALL.txt |
1 | 20 years ago | Bazaar Package Importer | Import upstream version 20021123 | 180 bytes |
|
|
|
install_creal_pp.ml |
1 | 20 years ago | Bazaar Package Importer | Import upstream version 20021123 | 290 bytes |
|
|
|
install_pp.ml |
1 | 20 years ago | Bazaar Package Importer | Import upstream version 20021123 | 1.7 KB |
|
|
|
LGPL.txt |
1 | 20 years ago | Bazaar Package Importer | Import upstream version 20021123 | 24.6 KB |
|
|
|
Makefile |
4.1.6 | 8 years ago | Package Import Robot | [ Sylvain Le Gall ] * Remove Sylvain Le Gall from | 2.5 KB |
|
|
|
mlgmp.h |
1 | 20 years ago | Bazaar Package Importer | Import upstream version 20021123 | 88 bytes |
|
|
|
mlgmp_f.c |
1 | 20 years ago | Bazaar Package Importer | Import upstream version 20021123 | 7.1 KB |
|
|
|
mlgmp_fr.c |
1 | 20 years ago | Bazaar Package Importer | Import upstream version 20021123 | 9.6 KB |
|
|
|
mlgmp_misc.c |
1 | 20 years ago | Bazaar Package Importer | Import upstream version 20021123 | 1 KB |
|
|
|
mlgmp_q.c |
1 | 20 years ago | Bazaar Package Importer | Import upstream version 20021123 | 4.8 KB |
|
|
|
mlgmp_random.c |
1 | 20 years ago | Bazaar Package Importer | Import upstream version 20021123 | 1007 bytes |
|
|
|
mlgmp_z.c |
4.1.6 | 8 years ago | Package Import Robot | [ Sylvain Le Gall ] * Remove Sylvain Le Gall from | 19.1 KB |
|
|
|
pretty_gmp.ml |
1 | 20 years ago | Bazaar Package Importer | Import upstream version 20021123 | 2.1 KB |
|
|
|
pretty_gmp.mli |
1 | 20 years ago | Bazaar Package Importer | Import upstream version 20021123 | 397 bytes |
|
|
|
README |
1 | 20 years ago | Bazaar Package Importer | Import upstream version 20021123 | 2.4 KB |
|
|
|
test_creal.ml |
1 | 20 years ago | Bazaar Package Importer | Import upstream version 20021123 | 4.9 KB |
|
|
|
test_mlgmp.ml |
1 | 20 years ago | Bazaar Package Importer | Import upstream version 20021123 | 1.3 KB |
|
|
|
test_suite.ml |
4.1.6 | 8 years ago | Package Import Robot | [ Sylvain Le Gall ] * Remove Sylvain Le Gall from | 5.1 KB |
|
|