Git : Code : coq-float package : Ubuntu

Ubuntu
coq-float package

Overview
Code
Bugs
Blueprints
Translations
Answers

View Bazaar branches

Get this repository:: git clone https://git.launchpad.net/ubuntu/+source/coq-float

Members of git-ubuntu import can upload to this repository. Log in for directions.

See all merge proposals.

Branches

Name	Last Modified	Last Commit
importer/ubuntu/dsc	2022-09-27 02:49:02 UTC 2022-09-27	DSC file for 1:8.10.0-1build1 Author: Ubuntu Git Importer Author Date: 2022-09-27 02:49:02 UTC DSC file for 1:8.10.0-1build1
importer/ubuntu/pristine-tar	2022-09-27 02:48:58 UTC 2022-09-27	pristine-tar data for coq-float_8.10.0.orig.tar.gz Author: Ubuntu Git Importer Author Date: 2022-09-27 02:48:58 UTC pristine-tar data for coq-float_8.10.0.orig.tar.gz
importer/debian/pristine-tar	2022-09-27 02:48:53 UTC 2022-09-27	pristine-tar data for coq-float_8.10.0.orig.tar.gz Author: Ubuntu Git Importer Author Date: 2022-09-27 02:48:53 UTC pristine-tar data for coq-float_8.10.0.orig.tar.gz
importer/debian/dsc	2022-09-27 02:48:51 UTC 2022-09-27	DSC file for 1:8.10.0-1 Author: Ubuntu Git Importer Author Date: 2022-09-27 02:48:51 UTC DSC file for 1:8.10.0-1
applied/ubuntu/groovy-proposed	2020-09-16 09:27:09 UTC 2020-09-16	1:8.10.0-1build1 (patches applied) Author: Gianfranco Costamagna Author Date: 2020-09-16 09:26:38 UTC 1:8.10.0-1build1 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/devel	2020-09-16 09:27:09 UTC 2020-09-16	1:8.10.0-1build1 (patches applied) Author: Gianfranco Costamagna Author Date: 2020-09-16 09:26:38 UTC 1:8.10.0-1build1 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/groovy-devel	2020-09-16 09:27:09 UTC 2020-09-16	1:8.10.0-1build1 (patches applied) Author: Gianfranco Costamagna Author Date: 2020-09-16 09:26:38 UTC 1:8.10.0-1build1 (patches applied) Imported using git-ubuntu import.
ubuntu/groovy-proposed	2020-09-16 09:27:09 UTC 2020-09-16	1:8.10.0-1build1 (patches unapplied) Author: Gianfranco Costamagna Author Date: 2020-09-16 09:26:38 UTC 1:8.10.0-1build1 (patches unapplied) Imported using git-ubuntu import.
ubuntu/groovy-devel	2020-09-16 09:27:09 UTC 2020-09-16	1:8.10.0-1build1 (patches unapplied) Author: Gianfranco Costamagna Author Date: 2020-09-16 09:26:38 UTC 1:8.10.0-1build1 (patches unapplied) Imported using git-ubuntu import.
ubuntu/devel	2020-09-16 09:27:09 UTC 2020-09-16	1:8.10.0-1build1 (patches unapplied) Author: Gianfranco Costamagna Author Date: 2020-09-16 09:26:38 UTC 1:8.10.0-1build1 (patches unapplied) Imported using git-ubuntu import.
applied/ubuntu/groovy	2020-03-16 16:31:45 UTC 2020-03-16	1:8.10.0-1 (patches applied) Author: Ralf Treinen Author Date: 2020-03-16 10:08:42 UTC 1:8.10.0-1 (patches applied) Imported using git-ubuntu import.
ubuntu/groovy	2020-03-16 16:31:45 UTC 2020-03-16	1:8.10.0-1 (patches unapplied) Author: Ralf Treinen Author Date: 2020-03-16 10:08:42 UTC 1:8.10.0-1 (patches unapplied) Imported using git-ubuntu import.
ubuntu/focal-proposed	2020-03-16 16:31:45 UTC 2020-03-16	1:8.10.0-1 (patches unapplied) Author: Ralf Treinen Author Date: 2020-03-16 10:08:42 UTC 1:8.10.0-1 (patches unapplied) Imported using git-ubuntu import.
ubuntu/focal-devel	2020-03-16 16:31:45 UTC 2020-03-16	1:8.10.0-1 (patches unapplied) Author: Ralf Treinen Author Date: 2020-03-16 10:08:42 UTC 1:8.10.0-1 (patches unapplied) Imported using git-ubuntu import.
ubuntu/focal	2020-03-16 16:31:45 UTC 2020-03-16	1:8.10.0-1 (patches unapplied) Author: Ralf Treinen Author Date: 2020-03-16 10:08:42 UTC 1:8.10.0-1 (patches unapplied) Imported using git-ubuntu import.
debian/sid	2020-03-16 16:31:45 UTC 2020-03-16	1:8.10.0-1 (patches unapplied) Author: Ralf Treinen Author Date: 2020-03-16 10:08:42 UTC 1:8.10.0-1 (patches unapplied) Imported using git-ubuntu import.
applied/debian/sid	2020-03-16 16:31:45 UTC 2020-03-16	1:8.10.0-1 (patches applied) Author: Ralf Treinen Author Date: 2020-03-16 10:08:42 UTC 1:8.10.0-1 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/focal	2020-03-16 16:31:45 UTC 2020-03-16	1:8.10.0-1 (patches applied) Author: Ralf Treinen Author Date: 2020-03-16 10:08:42 UTC 1:8.10.0-1 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/focal-devel	2020-03-16 16:31:45 UTC 2020-03-16	1:8.10.0-1 (patches applied) Author: Ralf Treinen Author Date: 2020-03-16 10:08:42 UTC 1:8.10.0-1 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/focal-proposed	2020-03-16 16:31:45 UTC 2020-03-16	1:8.10.0-1 (patches applied) Author: Ralf Treinen Author Date: 2020-03-16 10:08:42 UTC 1:8.10.0-1 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/yakkety-proposed	2016-06-12 17:07:10 UTC 2016-06-12	1:8.4-5build3 (patches applied) Author: Steve Langasek Author Date: 2016-06-12 17:06:08 UTC 1:8.4-5build3 (patches applied) Imported using git-ubuntu import.
ubuntu/yakkety-proposed	2016-06-12 17:07:10 UTC 2016-06-12	1:8.4-5build3 (patches unapplied) Author: Steve Langasek Author Date: 2016-06-12 17:06:08 UTC 1:8.4-5build3 (patches unapplied) Imported using git-ubuntu import.
applied/ubuntu/yakkety-devel	2016-06-12 17:07:10 UTC 2016-06-12	1:8.4-5build3 (patches applied) Author: Steve Langasek Author Date: 2016-06-12 17:06:08 UTC 1:8.4-5build3 (patches applied) Imported using git-ubuntu import.
ubuntu/yakkety-devel	2016-06-12 17:07:10 UTC 2016-06-12	1:8.4-5build3 (patches unapplied) Author: Steve Langasek Author Date: 2016-06-12 17:06:08 UTC 1:8.4-5build3 (patches unapplied) Imported using git-ubuntu import.
ubuntu/xenial-devel	2016-02-04 16:03:11 UTC 2016-02-04	1:8.4-5build2 (patches unapplied) Author: Matthias Klose Author Date: 2016-02-04 15:59:12 UTC 1:8.4-5build2 (patches unapplied) Imported using git-ubuntu import.
ubuntu/yakkety	2016-02-04 16:03:11 UTC 2016-02-04	1:8.4-5build2 (patches unapplied) Author: Matthias Klose Author Date: 2016-02-04 15:59:12 UTC 1:8.4-5build2 (patches unapplied) Imported using git-ubuntu import.
applied/ubuntu/xenial-devel	2016-02-04 16:03:11 UTC 2016-02-04	1:8.4-5build2 (patches applied) Author: Matthias Klose Author Date: 2016-02-04 15:59:12 UTC 1:8.4-5build2 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/xenial-proposed	2016-02-04 16:03:11 UTC 2016-02-04	1:8.4-5build2 (patches applied) Author: Matthias Klose Author Date: 2016-02-04 15:59:12 UTC 1:8.4-5build2 (patches applied) Imported using git-ubuntu import.
ubuntu/xenial-proposed	2016-02-04 16:03:11 UTC 2016-02-04	1:8.4-5build2 (patches unapplied) Author: Matthias Klose Author Date: 2016-02-04 15:59:12 UTC 1:8.4-5build2 (patches unapplied) Imported using git-ubuntu import.
applied/ubuntu/yakkety	2016-02-04 16:03:11 UTC 2016-02-04	1:8.4-5build2 (patches applied) Author: Matthias Klose Author Date: 2016-02-04 15:59:12 UTC 1:8.4-5build2 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/xenial	2015-11-04 15:25:16 UTC 2015-11-04	1:8.4-5build1 (patches applied) Author: Iain Lane Author Date: 2015-11-04 11:08:32 UTC 1:8.4-5build1 (patches applied) Imported using git-ubuntu import.
ubuntu/xenial	2015-11-04 15:25:16 UTC 2015-11-04	1:8.4-5build1 (patches unapplied) Author: Iain Lane Author Date: 2015-11-04 11:08:32 UTC 1:8.4-5build1 (patches unapplied) Imported using git-ubuntu import.
applied/debian/stretch	2015-10-15 04:11:27 UTC 2015-10-15	1:8.4-5 (patches applied) Author: Stéphane Glondu Author Date: 2015-10-14 09:37:12 UTC 1:8.4-5 (patches applied) Imported using git-ubuntu import.
debian/stretch	2015-10-15 04:11:27 UTC 2015-10-15	1:8.4-5 (patches unapplied) Author: Stéphane Glondu Author Date: 2015-10-14 09:37:12 UTC 1:8.4-5 (patches unapplied) Imported using git-ubuntu import.
ubuntu/vivid-devel	2014-07-30 16:12:51 UTC 2014-07-30	1:8.4-4 (patches unapplied) Author: Stéphane Glondu Author Date: 2014-07-30 06:59:29 UTC 1:8.4-4 (patches unapplied) Imported using git-ubuntu import.
ubuntu/utopic-proposed	2014-07-30 16:12:51 UTC 2014-07-30	1:8.4-4 (patches unapplied) Author: Stéphane Glondu Author Date: 2014-07-30 06:59:29 UTC 1:8.4-4 (patches unapplied) Imported using git-ubuntu import.
ubuntu/vivid	2014-07-30 16:12:51 UTC 2014-07-30	1:8.4-4 (patches unapplied) Author: Stéphane Glondu Author Date: 2014-07-30 06:59:29 UTC 1:8.4-4 (patches unapplied) Imported using git-ubuntu import.
ubuntu/utopic-devel	2014-07-30 16:12:51 UTC 2014-07-30	1:8.4-4 (patches unapplied) Author: Stéphane Glondu Author Date: 2014-07-30 06:59:29 UTC 1:8.4-4 (patches unapplied) Imported using git-ubuntu import.
ubuntu/utopic	2014-07-30 16:12:51 UTC 2014-07-30	1:8.4-4 (patches unapplied) Author: Stéphane Glondu Author Date: 2014-07-30 06:59:29 UTC 1:8.4-4 (patches unapplied) Imported using git-ubuntu import.
applied/debian/jessie	2014-07-30 16:12:51 UTC 2014-07-30	1:8.4-4 (patches applied) Author: Stéphane Glondu Author Date: 2014-07-30 06:59:29 UTC 1:8.4-4 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/wily-devel	2014-07-30 16:12:51 UTC 2014-07-30	1:8.4-4 (patches applied) Author: Stéphane Glondu Author Date: 2014-07-30 06:59:29 UTC 1:8.4-4 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/utopic	2014-07-30 16:12:51 UTC 2014-07-30	1:8.4-4 (patches applied) Author: Stéphane Glondu Author Date: 2014-07-30 06:59:29 UTC 1:8.4-4 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/utopic-devel	2014-07-30 16:12:51 UTC 2014-07-30	1:8.4-4 (patches applied) Author: Stéphane Glondu Author Date: 2014-07-30 06:59:29 UTC 1:8.4-4 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/utopic-proposed	2014-07-30 16:12:51 UTC 2014-07-30	1:8.4-4 (patches applied) Author: Stéphane Glondu Author Date: 2014-07-30 06:59:29 UTC 1:8.4-4 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/vivid	2014-07-30 16:12:51 UTC 2014-07-30	1:8.4-4 (patches applied) Author: Stéphane Glondu Author Date: 2014-07-30 06:59:29 UTC 1:8.4-4 (patches applied) Imported using git-ubuntu import.
debian/jessie	2014-07-30 16:12:51 UTC 2014-07-30	1:8.4-4 (patches unapplied) Author: Stéphane Glondu Author Date: 2014-07-30 06:59:29 UTC 1:8.4-4 (patches unapplied) Imported using git-ubuntu import.
applied/ubuntu/vivid-devel	2014-07-30 16:12:51 UTC 2014-07-30	1:8.4-4 (patches applied) Author: Stéphane Glondu Author Date: 2014-07-30 06:59:29 UTC 1:8.4-4 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/wily	2014-07-30 16:12:51 UTC 2014-07-30	1:8.4-4 (patches applied) Author: Stéphane Glondu Author Date: 2014-07-30 06:59:29 UTC 1:8.4-4 (patches applied) Imported using git-ubuntu import.
ubuntu/wily-devel	2014-07-30 16:12:51 UTC 2014-07-30	1:8.4-4 (patches unapplied) Author: Stéphane Glondu Author Date: 2014-07-30 06:59:29 UTC 1:8.4-4 (patches unapplied) Imported using git-ubuntu import.
ubuntu/wily	2014-07-30 16:12:51 UTC 2014-07-30	1:8.4-4 (patches unapplied) Author: Stéphane Glondu Author Date: 2014-07-30 06:59:29 UTC 1:8.4-4 (patches unapplied) Imported using git-ubuntu import.
ubuntu/trusty-devel	2014-01-21 04:12:16 UTC 2014-01-21	1:8.4-3 (patches unapplied) Author: Stéphane Glondu Author Date: 2014-01-20 06:44:07 UTC 1:8.4-3 (patches unapplied) Imported using git-ubuntu import.
applied/ubuntu/trusty	2014-01-21 04:12:16 UTC 2014-01-21	1:8.4-3 (patches applied) Author: Stéphane Glondu Author Date: 2014-01-20 06:44:07 UTC 1:8.4-3 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/trusty-devel	2014-01-21 04:12:16 UTC 2014-01-21	1:8.4-3 (patches applied) Author: Stéphane Glondu Author Date: 2014-01-20 06:44:07 UTC 1:8.4-3 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/trusty-proposed	2014-01-21 04:12:16 UTC 2014-01-21	1:8.4-3 (patches applied) Author: Stéphane Glondu Author Date: 2014-01-20 06:44:07 UTC 1:8.4-3 (patches applied) Imported using git-ubuntu import.
ubuntu/trusty	2014-01-21 04:12:16 UTC 2014-01-21	1:8.4-3 (patches unapplied) Author: Stéphane Glondu Author Date: 2014-01-20 06:44:07 UTC 1:8.4-3 (patches unapplied) Imported using git-ubuntu import.
ubuntu/trusty-proposed	2014-01-21 04:12:16 UTC 2014-01-21	1:8.4-3 (patches unapplied) Author: Stéphane Glondu Author Date: 2014-01-20 06:44:07 UTC 1:8.4-3 (patches unapplied) Imported using git-ubuntu import.
ubuntu/saucy-devel	2013-05-09 04:12:06 UTC 2013-05-09	1:8.4-1 (patches unapplied) Author: Stéphane Glondu Author Date: 2013-05-08 21:29:32 UTC 1:8.4-1 (patches unapplied) Imported using git-ubuntu import.
ubuntu/saucy-proposed	2013-05-09 04:12:06 UTC 2013-05-09	1:8.4-1 (patches unapplied) Author: Stéphane Glondu Author Date: 2013-05-08 21:29:32 UTC 1:8.4-1 (patches unapplied) Imported using git-ubuntu import.
applied/ubuntu/saucy-proposed	2013-05-09 04:12:06 UTC 2013-05-09	1:8.4-1 (patches applied) Author: Stéphane Glondu Author Date: 2013-05-08 21:29:32 UTC 1:8.4-1 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/saucy	2013-05-09 04:12:06 UTC 2013-05-09	1:8.4-1 (patches applied) Author: Stéphane Glondu Author Date: 2013-05-08 21:29:32 UTC 1:8.4-1 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/saucy-devel	2013-05-09 04:12:06 UTC 2013-05-09	1:8.4-1 (patches applied) Author: Stéphane Glondu Author Date: 2013-05-08 21:29:32 UTC 1:8.4-1 (patches applied) Imported using git-ubuntu import.
ubuntu/saucy	2013-05-09 04:12:06 UTC 2013-05-09	1:8.4-1 (patches unapplied) Author: Stéphane Glondu Author Date: 2013-05-08 21:29:32 UTC 1:8.4-1 (patches unapplied) Imported using git-ubuntu import.
ubuntu/quantal	2012-06-07 04:18:12 UTC 2012-06-07	1:8.3pl1-4 (patches unapplied) Author: Stéphane Glondu Author Date: 2012-06-06 20:59:40 UTC 1:8.3pl1-4 (patches unapplied) Imported using git-ubuntu import.
applied/ubuntu/raring	2012-06-07 04:18:12 UTC 2012-06-07	1:8.3pl1-4 (patches applied) Author: Stéphane Glondu Author Date: 2012-06-06 20:59:40 UTC 1:8.3pl1-4 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/quantal-devel	2012-06-07 04:18:12 UTC 2012-06-07	1:8.3pl1-4 (patches applied) Author: Stéphane Glondu Author Date: 2012-06-06 20:59:40 UTC 1:8.3pl1-4 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/quantal	2012-06-07 04:18:12 UTC 2012-06-07	1:8.3pl1-4 (patches applied) Author: Stéphane Glondu Author Date: 2012-06-06 20:59:40 UTC 1:8.3pl1-4 (patches applied) Imported using git-ubuntu import.
debian/wheezy	2012-06-07 04:18:12 UTC 2012-06-07	1:8.3pl1-4 (patches unapplied) Author: Stéphane Glondu Author Date: 2012-06-06 20:59:40 UTC 1:8.3pl1-4 (patches unapplied) Imported using git-ubuntu import.
applied/ubuntu/raring-devel	2012-06-07 04:18:12 UTC 2012-06-07	1:8.3pl1-4 (patches applied) Author: Stéphane Glondu Author Date: 2012-06-06 20:59:40 UTC 1:8.3pl1-4 (patches applied) Imported using git-ubuntu import.
applied/debian/wheezy	2012-06-07 04:18:12 UTC 2012-06-07	1:8.3pl1-4 (patches applied) Author: Stéphane Glondu Author Date: 2012-06-06 20:59:40 UTC 1:8.3pl1-4 (patches applied) Imported using git-ubuntu import.
ubuntu/raring-devel	2012-06-07 04:18:12 UTC 2012-06-07	1:8.3pl1-4 (patches unapplied) Author: Stéphane Glondu Author Date: 2012-06-06 20:59:40 UTC 1:8.3pl1-4 (patches unapplied) Imported using git-ubuntu import.
ubuntu/raring	2012-06-07 04:18:12 UTC 2012-06-07	1:8.3pl1-4 (patches unapplied) Author: Stéphane Glondu Author Date: 2012-06-06 20:59:40 UTC 1:8.3pl1-4 (patches unapplied) Imported using git-ubuntu import.
ubuntu/quantal-devel	2012-06-07 04:18:12 UTC 2012-06-07	1:8.3pl1-4 (patches unapplied) Author: Stéphane Glondu Author Date: 2012-06-06 20:59:40 UTC 1:8.3pl1-4 (patches unapplied) Imported using git-ubuntu import.
applied/ubuntu/precise-devel	2011-12-26 03:21:30 UTC 2011-12-26	1:8.2-1.2-9 (patches applied) Author: Stéphane Glondu Author Date: 2011-12-25 16:51:31 UTC 1:8.2-1.2-9 (patches applied) Imported using git-ubuntu import.
ubuntu/precise	2011-12-26 03:21:30 UTC 2011-12-26	1:8.2-1.2-9 (patches unapplied) Author: Stéphane Glondu Author Date: 2011-12-25 16:51:31 UTC 1:8.2-1.2-9 (patches unapplied) Imported using git-ubuntu import.
applied/ubuntu/precise	2011-12-26 03:21:30 UTC 2011-12-26	1:8.2-1.2-9 (patches applied) Author: Stéphane Glondu Author Date: 2011-12-25 16:51:31 UTC 1:8.2-1.2-9 (patches applied) Imported using git-ubuntu import.
ubuntu/precise-devel	2011-12-26 03:21:30 UTC 2011-12-26	1:8.2-1.2-9 (patches unapplied) Author: Stéphane Glondu Author Date: 2011-12-25 16:51:31 UTC 1:8.2-1.2-9 (patches unapplied) Imported using git-ubuntu import.
ubuntu/oneiric	2011-04-21 03:18:00 UTC 2011-04-21	1:8.2-1.2-7 (patches unapplied) Author: Stéphane Glondu Author Date: 2011-04-19 20:30:18 UTC 1:8.2-1.2-7 (patches unapplied) Imported using git-ubuntu import.
ubuntu/oneiric-devel	2011-04-21 03:18:00 UTC 2011-04-21	1:8.2-1.2-7 (patches unapplied) Author: Stéphane Glondu Author Date: 2011-04-19 20:30:18 UTC 1:8.2-1.2-7 (patches unapplied) Imported using git-ubuntu import.
applied/ubuntu/oneiric-devel	2011-04-21 03:18:00 UTC 2011-04-21	1:8.2-1.2-7 (patches applied) Author: Stéphane Glondu Author Date: 2011-04-19 20:30:18 UTC 1:8.2-1.2-7 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/oneiric	2011-04-21 03:18:00 UTC 2011-04-21	1:8.2-1.2-7 (patches applied) Author: Stéphane Glondu Author Date: 2011-04-19 20:30:18 UTC 1:8.2-1.2-7 (patches applied) Imported using git-ubuntu import.
ubuntu/natty-devel	2010-07-06 14:17:20 UTC 2010-07-06	1:8.2-1.2-5 (patches unapplied) Author: Stéphane Glondu Author Date: 2010-07-03 13:51:20 UTC 1:8.2-1.2-5 (patches unapplied) Imported using git-ubuntu import.
debian/squeeze	2010-07-06 14:17:20 UTC 2010-07-06	1:8.2-1.2-5 (patches unapplied) Author: Stéphane Glondu Author Date: 2010-07-03 13:51:20 UTC 1:8.2-1.2-5 (patches unapplied) Imported using git-ubuntu import.
applied/ubuntu/natty-devel	2010-07-06 14:17:20 UTC 2010-07-06	1:8.2-1.2-5 (patches applied) Author: Stéphane Glondu Author Date: 2010-07-03 13:51:20 UTC 1:8.2-1.2-5 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/natty	2010-07-06 14:17:20 UTC 2010-07-06	1:8.2-1.2-5 (patches applied) Author: Stéphane Glondu Author Date: 2010-07-03 13:51:20 UTC 1:8.2-1.2-5 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/maverick-devel	2010-07-06 14:17:20 UTC 2010-07-06	1:8.2-1.2-5 (patches applied) Author: Stéphane Glondu Author Date: 2010-07-03 13:51:20 UTC 1:8.2-1.2-5 (patches applied) Imported using git-ubuntu import.
ubuntu/maverick	2010-07-06 14:17:20 UTC 2010-07-06	1:8.2-1.2-5 (patches unapplied) Author: Stéphane Glondu Author Date: 2010-07-03 13:51:20 UTC 1:8.2-1.2-5 (patches unapplied) Imported using git-ubuntu import.
ubuntu/maverick-devel	2010-07-06 14:17:20 UTC 2010-07-06	1:8.2-1.2-5 (patches unapplied) Author: Stéphane Glondu Author Date: 2010-07-03 13:51:20 UTC 1:8.2-1.2-5 (patches unapplied) Imported using git-ubuntu import.
ubuntu/natty	2010-07-06 14:17:20 UTC 2010-07-06	1:8.2-1.2-5 (patches unapplied) Author: Stéphane Glondu Author Date: 2010-07-03 13:51:20 UTC 1:8.2-1.2-5 (patches unapplied) Imported using git-ubuntu import.
applied/debian/squeeze	2010-07-06 14:17:20 UTC 2010-07-06	1:8.2-1.2-5 (patches applied) Author: Stéphane Glondu Author Date: 2010-07-03 13:51:20 UTC 1:8.2-1.2-5 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/maverick	2010-07-06 14:17:20 UTC 2010-07-06	1:8.2-1.2-5 (patches applied) Author: Stéphane Glondu Author Date: 2010-07-03 13:51:20 UTC 1:8.2-1.2-5 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/lucid	2010-02-11 09:17:09 UTC 2010-02-11	1:8.2-1.2-4 (patches applied) Author: Stéphane Glondu Author Date: 2010-02-10 20:47:18 UTC 1:8.2-1.2-4 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/lucid-devel	2010-02-11 09:17:09 UTC 2010-02-11	1:8.2-1.2-4 (patches applied) Author: Stéphane Glondu Author Date: 2010-02-10 20:47:18 UTC 1:8.2-1.2-4 (patches applied) Imported using git-ubuntu import.
ubuntu/lucid	2010-02-11 09:17:09 UTC 2010-02-11	1:8.2-1.2-4 (patches unapplied) Author: Stéphane Glondu Author Date: 2010-02-10 20:47:18 UTC 1:8.2-1.2-4 (patches unapplied) Imported using git-ubuntu import.
ubuntu/lucid-devel	2010-02-11 09:17:09 UTC 2010-02-11	1:8.2-1.2-4 (patches unapplied) Author: Stéphane Glondu Author Date: 2010-02-10 20:47:18 UTC 1:8.2-1.2-4 (patches unapplied) Imported using git-ubuntu import.
applied/ubuntu/karmic-devel	2009-07-15 14:48:08 UTC 2009-07-15	1:8.2-1.2-3 (patches applied) Author: Stéphane Glondu Author Date: 2009-07-04 12:06:56 UTC 1:8.2-1.2-3 (patches applied) Imported using git-ubuntu import.
ubuntu/karmic	2009-07-15 14:48:08 UTC 2009-07-15	1:8.2-1.2-3 (patches unapplied) Author: Stéphane Glondu Author Date: 2009-07-04 12:06:56 UTC 1:8.2-1.2-3 (patches unapplied) Imported using git-ubuntu import.
ubuntu/karmic-devel	2009-07-15 14:48:08 UTC 2009-07-15	1:8.2-1.2-3 (patches unapplied) Author: Stéphane Glondu Author Date: 2009-07-04 12:06:56 UTC 1:8.2-1.2-3 (patches unapplied) Imported using git-ubuntu import.
applied/ubuntu/karmic	2009-07-15 14:48:08 UTC 2009-07-15	1:8.2-1.2-3 (patches applied) Author: Stéphane Glondu Author Date: 2009-07-04 12:06:56 UTC 1:8.2-1.2-3 (patches applied) Imported using git-ubuntu import.
debian/lenny	2008-05-03 00:24:36 UTC 2008-05-03	1:8.1-1.0-4 (patches unapplied) Author: Samuel Mimram Author Date: 2008-01-19 15:52:13 UTC 1:8.1-1.0-4 (patches unapplied) Imported using git-ubuntu import.
ubuntu/intrepid	2008-05-03 00:24:36 UTC 2008-05-03	1:8.1-1.0-4 (patches unapplied) Author: Samuel Mimram Author Date: 2008-01-19 15:52:13 UTC 1:8.1-1.0-4 (patches unapplied) Imported using git-ubuntu import.

Other repositories

Name	Last Modified
lp:ubuntu/+source/coq-float	2022-09-27

You can't create new repositories for coq-float in Ubuntu.