Codebase list coq-float / a7946ec
add d/upstream Ralf Treinen 4 years ago
2 changed file(s) with 12 addition(s) and 1 deletion(s). Raw diff Collapse all Expand all
+2
-1
debian/changelog less more
11
22 * Team upload
33 * New upstream release, compiles with coq 8.11.0 (closes: #953765)
4 * Add debian/upstream, containing the reference of the TPHOL paper
45
5 -- Ralf Treinen <treinen@debian.org> Mon, 16 Mar 2020 10:18:09 +0100
6 -- Ralf Treinen <treinen@debian.org> Mon, 16 Mar 2020 11:08:42 +0100
67
78 coq-float (1:8.9.0-1) unstable; urgency=medium
89
+10
-0
debian/upstream/metadata less more
0 Reference:
1 Author: "Marc Daumas and Laurence Rideau and Laurent Thery"
2 Title: "A Generic Library for Floating-Point Numbers and Its Application to Exact Computing"
3 Booktitle: "Theorem Proving in Higher Order Logics"
4 Pages: 169–184
5 Publisher: Springer
6 Year: 2001
7 Type: InProceedings
8 URL: https://hal.inria.fr/hal-00157285v1
9 Eprint: https://hal.archives-ouvertes.fr/hal-00157285/document