Ubuntu
coq-doc package

View Bazaar branches
Get this repository:
git clone https://git.launchpad.net/ubuntu/+source/coq-doc
Members of git-ubuntu import can upload to this repository. Log in for directions.

See all merge proposals.

Branches

Name Last Modified Last Commit
ubuntu/vivid-proposed 2014-08-17 16:11:35 UTC
8.4pl4-1 (patches unapplied)

Author: Stéphane Glondu
Author Date: 2014-08-17 12:36:07 UTC

8.4pl4-1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/wily 2014-08-17 16:11:35 UTC
8.4pl4-1 (patches unapplied)

Author: Stéphane Glondu
Author Date: 2014-08-17 12:36:07 UTC

8.4pl4-1 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/vivid-proposed 2014-08-17 16:11:35 UTC
8.4pl4-1 (patches applied)

Author: Stéphane Glondu
Author Date: 2014-08-17 12:36:07 UTC

8.4pl4-1 (patches applied)

Imported using git-ubuntu import.
debian/jessie 2014-08-17 16:11:35 UTC
8.4pl4-1 (patches unapplied)

Author: Stéphane Glondu
Author Date: 2014-08-17 12:36:07 UTC

8.4pl4-1 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/wily 2014-08-17 16:11:35 UTC
8.4pl4-1 (patches applied)

Author: Stéphane Glondu
Author Date: 2014-08-17 12:36:07 UTC

8.4pl4-1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/wily-devel 2014-08-17 16:11:35 UTC
8.4pl4-1 (patches applied)

Author: Stéphane Glondu
Author Date: 2014-08-17 12:36:07 UTC

8.4pl4-1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/vivid 2014-08-17 16:11:35 UTC
8.4pl4-1 (patches applied)

Author: Stéphane Glondu
Author Date: 2014-08-17 12:36:07 UTC

8.4pl4-1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/vivid-devel 2014-08-17 16:11:35 UTC
8.4pl4-1 (patches applied)

Author: Stéphane Glondu
Author Date: 2014-08-17 12:36:07 UTC

8.4pl4-1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/trusty 2013-12-13 22:12:35 UTC
8.4pl2-1 (patches applied)

Author: Stéphane Glondu
Author Date: 2013-12-12 08:06:18 UTC

8.4pl2-1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/trusty-proposed 2013-12-13 22:12:35 UTC
8.4pl2-1 (patches applied)

Author: Stéphane Glondu
Author Date: 2013-12-12 08:06:18 UTC

8.4pl2-1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/utopic 2013-12-13 22:12:35 UTC
8.4pl2-1 (patches applied)

Author: Stéphane Glondu
Author Date: 2013-12-12 08:06:18 UTC

8.4pl2-1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/utopic-devel 2013-12-13 22:12:35 UTC
8.4pl2-1 (patches applied)

Author: Stéphane Glondu
Author Date: 2013-12-12 08:06:18 UTC

8.4pl2-1 (patches applied)

Imported using git-ubuntu import.
ubuntu/trusty 2013-12-13 22:12:35 UTC
8.4pl2-1 (patches unapplied)

Author: Stéphane Glondu
Author Date: 2013-12-12 08:06:18 UTC

8.4pl2-1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/trusty-devel 2013-12-13 22:12:35 UTC
8.4pl2-1 (patches unapplied)

Author: Stéphane Glondu
Author Date: 2013-12-12 08:06:18 UTC

8.4pl2-1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/trusty-proposed 2013-12-13 22:12:35 UTC
8.4pl2-1 (patches unapplied)

Author: Stéphane Glondu
Author Date: 2013-12-12 08:06:18 UTC

8.4pl2-1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/utopic 2013-12-13 22:12:35 UTC
8.4pl2-1 (patches unapplied)

Author: Stéphane Glondu
Author Date: 2013-12-12 08:06:18 UTC

8.4pl2-1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/utopic-devel 2013-12-13 22:12:35 UTC
8.4pl2-1 (patches unapplied)

Author: Stéphane Glondu
Author Date: 2013-12-12 08:06:18 UTC

8.4pl2-1 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/trusty-devel 2013-12-13 22:12:35 UTC
8.4pl2-1 (patches applied)

Author: Stéphane Glondu
Author Date: 2013-12-12 08:06:18 UTC

8.4pl2-1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/raring 2012-04-06 15:19:56 UTC
8.3pl4-1 (patches applied)

Author: Stéphane Glondu
Author Date: 2012-04-06 05:33:19 UTC

8.3pl4-1 (patches applied)

Imported using git-ubuntu import.
applied/debian/wheezy 2012-04-06 15:19:56 UTC
8.3pl4-1 (patches applied)

Author: Stéphane Glondu
Author Date: 2012-04-06 05:33:19 UTC

8.3pl4-1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/quantal 2012-04-06 15:19:56 UTC
8.3pl4-1 (patches applied)

Author: Stéphane Glondu
Author Date: 2012-04-06 05:33:19 UTC

8.3pl4-1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/quantal-devel 2012-04-06 15:19:56 UTC
8.3pl4-1 (patches applied)

Author: Stéphane Glondu
Author Date: 2012-04-06 05:33:19 UTC

8.3pl4-1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/raring-devel 2012-04-06 15:19:56 UTC
8.3pl4-1 (patches applied)

Author: Stéphane Glondu
Author Date: 2012-04-06 05:33:19 UTC

8.3pl4-1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/saucy 2012-04-06 15:19:56 UTC
8.3pl4-1 (patches applied)

Author: Stéphane Glondu
Author Date: 2012-04-06 05:33:19 UTC

8.3pl4-1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/saucy-devel 2012-04-06 15:19:56 UTC
8.3pl4-1 (patches applied)

Author: Stéphane Glondu
Author Date: 2012-04-06 05:33:19 UTC

8.3pl4-1 (patches applied)

Imported using git-ubuntu import.
debian/wheezy 2012-04-06 15:19:56 UTC
8.3pl4-1 (patches unapplied)

Author: Stéphane Glondu
Author Date: 2012-04-06 05:33:19 UTC

8.3pl4-1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/quantal 2012-04-06 15:19:56 UTC
8.3pl4-1 (patches unapplied)

Author: Stéphane Glondu
Author Date: 2012-04-06 05:33:19 UTC

8.3pl4-1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/quantal-devel 2012-04-06 15:19:56 UTC
8.3pl4-1 (patches unapplied)

Author: Stéphane Glondu
Author Date: 2012-04-06 05:33:19 UTC

8.3pl4-1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/raring 2012-04-06 15:19:56 UTC
8.3pl4-1 (patches unapplied)

Author: Stéphane Glondu
Author Date: 2012-04-06 05:33:19 UTC

8.3pl4-1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/raring-devel 2012-04-06 15:19:56 UTC
8.3pl4-1 (patches unapplied)

Author: Stéphane Glondu
Author Date: 2012-04-06 05:33:19 UTC

8.3pl4-1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/saucy 2012-04-06 15:19:56 UTC
8.3pl4-1 (patches unapplied)

Author: Stéphane Glondu
Author Date: 2012-04-06 05:33:19 UTC

8.3pl4-1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/saucy-devel 2012-04-06 15:19:56 UTC
8.3pl4-1 (patches unapplied)

Author: Stéphane Glondu
Author Date: 2012-04-06 05:33:19 UTC

8.3pl4-1 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/precise 2012-03-02 18:10:14 UTC
8.3pl2-1build1 (patches applied)

Author: Felix Geyer
Author Date: 2012-03-02 17:31:49 UTC

8.3pl2-1build1 (patches applied)

Imported using git-ubuntu import.
ubuntu/precise 2012-03-02 18:10:14 UTC
8.3pl2-1build1 (patches unapplied)

Author: Felix Geyer
Author Date: 2012-03-02 17:31:49 UTC

8.3pl2-1build1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/precise-devel 2012-03-02 18:10:14 UTC
8.3pl2-1build1 (patches unapplied)

Author: Felix Geyer
Author Date: 2012-03-02 17:31:49 UTC

8.3pl2-1build1 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/precise-devel 2012-03-02 18:10:14 UTC
8.3pl2-1build1 (patches applied)

Author: Felix Geyer
Author Date: 2012-03-02 17:31:49 UTC

8.3pl2-1build1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/oneiric 2011-05-06 21:16:54 UTC
8.3pl2-1 (patches applied)

Author: Stéphane Glondu
Author Date: 2011-05-06 08:36:59 UTC

8.3pl2-1 (patches applied)

Imported using git-ubuntu import.
ubuntu/oneiric 2011-05-06 21:16:54 UTC
8.3pl2-1 (patches unapplied)

Author: Stéphane Glondu
Author Date: 2011-05-06 08:36:59 UTC

8.3pl2-1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/oneiric-devel 2011-05-06 21:16:54 UTC
8.3pl2-1 (patches unapplied)

Author: Stéphane Glondu
Author Date: 2011-05-06 08:36:59 UTC

8.3pl2-1 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/oneiric-devel 2011-05-06 21:16:54 UTC
8.3pl2-1 (patches applied)

Author: Stéphane Glondu
Author Date: 2011-05-06 08:36:59 UTC

8.3pl2-1 (patches applied)

Imported using git-ubuntu import.
debian/squeeze 2010-01-08 09:16:25 UTC
8.2pl1-1 (patches unapplied)

Author: Stéphane Glondu
Author Date: 2010-01-07 21:50:39 UTC

8.2pl1-1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/maverick 2010-01-08 09:16:25 UTC
8.2pl1-1 (patches unapplied)

Author: Stéphane Glondu
Author Date: 2010-01-07 21:50:39 UTC

8.2pl1-1 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/natty-devel 2010-01-08 09:16:25 UTC
8.2pl1-1 (patches applied)

Author: Stéphane Glondu
Author Date: 2010-01-07 21:50:39 UTC

8.2pl1-1 (patches applied)

Imported using git-ubuntu import.
ubuntu/natty 2010-01-08 09:16:25 UTC
8.2pl1-1 (patches unapplied)

Author: Stéphane Glondu
Author Date: 2010-01-07 21:50:39 UTC

8.2pl1-1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/natty-devel 2010-01-08 09:16:25 UTC
8.2pl1-1 (patches unapplied)

Author: Stéphane Glondu
Author Date: 2010-01-07 21:50:39 UTC

8.2pl1-1 (patches unapplied)

Imported using git-ubuntu import.
applied/debian/squeeze 2010-01-08 09:16:25 UTC
8.2pl1-1 (patches applied)

Author: Stéphane Glondu
Author Date: 2010-01-07 21:50:39 UTC

8.2pl1-1 (patches applied)

Imported using git-ubuntu import.
ubuntu/maverick-devel 2010-01-08 09:16:25 UTC
8.2pl1-1 (patches unapplied)

Author: Stéphane Glondu
Author Date: 2010-01-07 21:50:39 UTC

8.2pl1-1 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/natty 2010-01-08 09:16:25 UTC
8.2pl1-1 (patches applied)

Author: Stéphane Glondu
Author Date: 2010-01-07 21:50:39 UTC

8.2pl1-1 (patches applied)

Imported using git-ubuntu import.
ubuntu/lucid 2010-01-08 09:16:25 UTC
8.2pl1-1 (patches unapplied)

Author: Stéphane Glondu
Author Date: 2010-01-07 21:50:39 UTC

8.2pl1-1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/lucid-devel 2010-01-08 09:16:25 UTC
8.2pl1-1 (patches unapplied)

Author: Stéphane Glondu
Author Date: 2010-01-07 21:50:39 UTC

8.2pl1-1 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/maverick-devel 2010-01-08 09:16:25 UTC
8.2pl1-1 (patches applied)

Author: Stéphane Glondu
Author Date: 2010-01-07 21:50:39 UTC

8.2pl1-1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/maverick 2010-01-08 09:16:25 UTC
8.2pl1-1 (patches applied)

Author: Stéphane Glondu
Author Date: 2010-01-07 21:50:39 UTC

8.2pl1-1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/lucid-devel 2010-01-08 09:16:25 UTC
8.2pl1-1 (patches applied)

Author: Stéphane Glondu
Author Date: 2010-01-07 21:50:39 UTC

8.2pl1-1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/lucid 2010-01-08 09:16:25 UTC
8.2pl1-1 (patches applied)

Author: Stéphane Glondu
Author Date: 2010-01-07 21:50:39 UTC

8.2pl1-1 (patches applied)

Imported using git-ubuntu import.
ubuntu/hardy 2007-04-28 17:03:02 UTC
8.1-3 (patches unapplied)

Author: Samuel Mimram
Author Date: 2007-04-14 16:24:43 UTC

8.1-3 (patches unapplied)

Imported using git-ubuntu import.
debian/lenny 2007-04-28 17:03:02 UTC
8.1-3 (patches unapplied)

Author: Samuel Mimram
Author Date: 2007-04-14 16:24:43 UTC

8.1-3 (patches unapplied)

Imported using git-ubuntu import.
applied/debian/lenny 2007-04-28 17:03:02 UTC
8.1-3 (patches applied)

Author: Samuel Mimram
Author Date: 2007-04-14 16:24:43 UTC

8.1-3 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/intrepid 2007-04-28 17:03:02 UTC
8.1-3 (patches applied)

Author: Samuel Mimram
Author Date: 2007-04-14 16:24:43 UTC

8.1-3 (patches applied)

Imported using git-ubuntu import.
ubuntu/gutsy 2007-04-28 17:03:02 UTC
8.1-3 (patches unapplied)

Author: Samuel Mimram
Author Date: 2007-04-14 16:24:43 UTC

8.1-3 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/gutsy-devel 2007-04-28 17:03:02 UTC
8.1-3 (patches unapplied)

Author: Samuel Mimram
Author Date: 2007-04-14 16:24:43 UTC

8.1-3 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/hardy-devel 2007-04-28 17:03:02 UTC
8.1-3 (patches applied)

Author: Samuel Mimram
Author Date: 2007-04-14 16:24:43 UTC

8.1-3 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/hardy 2007-04-28 17:03:02 UTC
8.1-3 (patches applied)

Author: Samuel Mimram
Author Date: 2007-04-14 16:24:43 UTC

8.1-3 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/gutsy 2007-04-28 17:03:02 UTC
8.1-3 (patches applied)

Author: Samuel Mimram
Author Date: 2007-04-14 16:24:43 UTC

8.1-3 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/gutsy-devel 2007-04-28 17:03:02 UTC
8.1-3 (patches applied)

Author: Samuel Mimram
Author Date: 2007-04-14 16:24:43 UTC

8.1-3 (patches applied)

Imported using git-ubuntu import.
ubuntu/intrepid 2007-04-28 17:03:02 UTC
8.1-3 (patches unapplied)

Author: Samuel Mimram
Author Date: 2007-04-14 16:24:43 UTC

8.1-3 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/intrepid-devel 2007-04-28 17:03:02 UTC
8.1-3 (patches unapplied)

Author: Samuel Mimram
Author Date: 2007-04-14 16:24:43 UTC

8.1-3 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/jaunty 2007-04-28 17:03:02 UTC
8.1-3 (patches unapplied)

Author: Samuel Mimram
Author Date: 2007-04-14 16:24:43 UTC

8.1-3 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/jaunty-devel 2007-04-28 17:03:02 UTC
8.1-3 (patches unapplied)

Author: Samuel Mimram
Author Date: 2007-04-14 16:24:43 UTC

8.1-3 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/karmic 2007-04-28 17:03:02 UTC
8.1-3 (patches unapplied)

Author: Samuel Mimram
Author Date: 2007-04-14 16:24:43 UTC

8.1-3 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/karmic-devel 2007-04-28 17:03:02 UTC
8.1-3 (patches unapplied)

Author: Samuel Mimram
Author Date: 2007-04-14 16:24:43 UTC

8.1-3 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/karmic-devel 2007-04-28 17:03:02 UTC
8.1-3 (patches applied)

Author: Samuel Mimram
Author Date: 2007-04-14 16:24:43 UTC

8.1-3 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/karmic 2007-04-28 17:03:02 UTC
8.1-3 (patches applied)

Author: Samuel Mimram
Author Date: 2007-04-14 16:24:43 UTC

8.1-3 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/jaunty-devel 2007-04-28 17:03:02 UTC
8.1-3 (patches applied)

Author: Samuel Mimram
Author Date: 2007-04-14 16:24:43 UTC

8.1-3 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/jaunty 2007-04-28 17:03:02 UTC
8.1-3 (patches applied)

Author: Samuel Mimram
Author Date: 2007-04-14 16:24:43 UTC

8.1-3 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/intrepid-devel 2007-04-28 17:03:02 UTC
8.1-3 (patches applied)

Author: Samuel Mimram
Author Date: 2007-04-14 16:24:43 UTC

8.1-3 (patches applied)

Imported using git-ubuntu import.
ubuntu/hardy-devel 2007-04-28 17:03:02 UTC
8.1-3 (patches unapplied)

Author: Samuel Mimram
Author Date: 2007-04-14 16:24:43 UTC

8.1-3 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/dapper 2005-12-20 20:43:54 UTC
8.0pl1.0-1 (patches unapplied)

Author: Samuel Mimram
Author Date: 2004-09-18 11:28:22 UTC

8.0pl1.0-1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/breezy 2005-12-20 20:43:54 UTC
8.0pl1.0-1 (patches unapplied)

Author: Samuel Mimram
Author Date: 2004-09-18 11:28:22 UTC

8.0pl1.0-1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/hoary 2005-12-20 20:43:54 UTC
8.0pl1.0-1 (patches unapplied)

Author: Samuel Mimram
Author Date: 2004-09-18 11:28:22 UTC

8.0pl1.0-1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/hoary-devel 2005-12-20 20:43:54 UTC
8.0pl1.0-1 (patches unapplied)

Author: Samuel Mimram
Author Date: 2004-09-18 11:28:22 UTC

8.0pl1.0-1 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/dapper-devel 2005-12-20 20:43:54 UTC
8.0pl1.0-1 (patches applied)

Author: Samuel Mimram
Author Date: 2004-09-18 11:28:22 UTC

8.0pl1.0-1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/dapper 2005-12-20 20:43:54 UTC
8.0pl1.0-1 (patches applied)

Author: Samuel Mimram
Author Date: 2004-09-18 11:28:22 UTC

8.0pl1.0-1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/breezy-devel 2005-12-20 20:43:54 UTC
8.0pl1.0-1 (patches applied)

Author: Samuel Mimram
Author Date: 2004-09-18 11:28:22 UTC

8.0pl1.0-1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/breezy 2005-12-20 20:43:54 UTC
8.0pl1.0-1 (patches applied)

Author: Samuel Mimram
Author Date: 2004-09-18 11:28:22 UTC

8.0pl1.0-1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/hoary-devel 2005-12-20 20:43:54 UTC
8.0pl1.0-1 (patches applied)

Author: Samuel Mimram
Author Date: 2004-09-18 11:28:22 UTC

8.0pl1.0-1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/hoary 2005-12-20 20:43:54 UTC
8.0pl1.0-1 (patches applied)

Author: Samuel Mimram
Author Date: 2004-09-18 11:28:22 UTC

8.0pl1.0-1 (patches applied)

Imported using git-ubuntu import.
ubuntu/feisty 2005-12-20 20:43:54 UTC
8.0pl1.0-1 (patches unapplied)

Author: Samuel Mimram
Author Date: 2004-09-18 11:28:22 UTC

8.0pl1.0-1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/feisty-devel 2005-12-20 20:43:54 UTC
8.0pl1.0-1 (patches unapplied)

Author: Samuel Mimram
Author Date: 2004-09-18 11:28:22 UTC

8.0pl1.0-1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/dapper-devel 2005-12-20 20:43:54 UTC
8.0pl1.0-1 (patches unapplied)

Author: Samuel Mimram
Author Date: 2004-09-18 11:28:22 UTC

8.0pl1.0-1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/breezy-devel 2005-12-20 20:43:54 UTC
8.0pl1.0-1 (patches unapplied)

Author: Samuel Mimram
Author Date: 2004-09-18 11:28:22 UTC

8.0pl1.0-1 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/feisty-devel 2005-12-20 20:43:54 UTC
8.0pl1.0-1 (patches applied)

Author: Samuel Mimram
Author Date: 2004-09-18 11:28:22 UTC

8.0pl1.0-1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/feisty 2005-12-20 20:43:54 UTC
8.0pl1.0-1 (patches applied)

Author: Samuel Mimram
Author Date: 2004-09-18 11:28:22 UTC

8.0pl1.0-1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/edgy-devel 2005-12-20 20:43:54 UTC
8.0pl1.0-1 (patches applied)

Author: Samuel Mimram
Author Date: 2004-09-18 11:28:22 UTC

8.0pl1.0-1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/edgy 2005-12-20 20:43:54 UTC
8.0pl1.0-1 (patches applied)

Author: Samuel Mimram
Author Date: 2004-09-18 11:28:22 UTC

8.0pl1.0-1 (patches applied)

Imported using git-ubuntu import.
ubuntu/edgy-devel 2005-12-20 20:43:54 UTC
8.0pl1.0-1 (patches unapplied)

Author: Samuel Mimram
Author Date: 2004-09-18 11:28:22 UTC

8.0pl1.0-1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/edgy 2005-12-20 20:43:54 UTC
8.0pl1.0-1 (patches unapplied)

Author: Samuel Mimram
Author Date: 2004-09-18 11:28:22 UTC

8.0pl1.0-1 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/warty 2005-12-20 14:24:58 UTC
7.2-1 (patches applied)

Author: =?utf-8?q?Judica=EF=BF=BDl_Courant?=
Author Date: 2002-04-18 13:08:00 UTC

7.2-1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/warty-devel 2005-12-20 14:24:58 UTC
7.2-1 (patches applied)

Author: =?utf-8?q?Judica=EF=BF=BDl_Courant?=
Author Date: 2002-04-18 13:08:00 UTC

7.2-1 (patches applied)

Imported using git-ubuntu import.
ubuntu/warty-devel 2005-12-20 14:24:58 UTC
7.2-1 (patches unapplied)

Author: =?utf-8?q?Judica=EF=BF=BDl_Courant?=
Author Date: 2002-04-18 13:08:00 UTC

7.2-1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/warty 2005-12-20 14:24:58 UTC
7.2-1 (patches unapplied)

Author: =?utf-8?q?Judica=EF=BF=BDl_Courant?=
Author Date: 2002-04-18 13:08:00 UTC

7.2-1 (patches unapplied)

Imported using git-ubuntu import.
101 → 200 of 200 results First • • Next • Last

Other repositories

Name Last Modified
lp:ubuntu/+source/coq-doc 21 hours ago
1 → 1 of 1 result First • Previous • Next • Last
You can't create new repositories for coq-doc in Ubuntu.