Ubuntu
coq package

View Bazaar branches
Get this repository:
git clone https://git.not.enabled/ubuntu/+source/coq
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/dapper-devel 2005-12-21 16:22:54 UTC
8.0pl2-4 (patches unapplied)

Author: Samuel Mimram
Author Date: 2005-11-21 18:52:53 UTC

8.0pl2-4 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/dapper 2005-12-21 16:22:54 UTC
8.0pl2-4 (patches applied)

Author: Samuel Mimram
Author Date: 2005-11-21 18:52:53 UTC

8.0pl2-4 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/dapper-devel 2005-12-21 16:22:54 UTC
8.0pl2-4 (patches applied)

Author: Samuel Mimram
Author Date: 2005-11-21 18:52:53 UTC

8.0pl2-4 (patches applied)

Imported using git-ubuntu import.
ubuntu/dapper 2005-12-21 16:22:54 UTC
8.0pl2-4 (patches unapplied)

Author: Samuel Mimram
Author Date: 2005-11-21 18:52:53 UTC

8.0pl2-4 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/breezy 2005-12-21 04:48:07 UTC
8.0pl2-2 (patches applied)

Author: Samuel Mimram
Author Date: 2005-03-22 16:40:08 UTC

8.0pl2-2 (patches applied)

Imported using git-ubuntu import.
ubuntu/breezy 2005-12-21 04:48:07 UTC
8.0pl2-2 (patches unapplied)

Author: Samuel Mimram
Author Date: 2005-03-22 16:40:08 UTC

8.0pl2-2 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/breezy-devel 2005-12-21 04:48:07 UTC
8.0pl2-2 (patches unapplied)

Author: Samuel Mimram
Author Date: 2005-03-22 16:40:08 UTC

8.0pl2-2 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/breezy-devel 2005-12-21 04:48:07 UTC
8.0pl2-2 (patches applied)

Author: Samuel Mimram
Author Date: 2005-03-22 16:40:08 UTC

8.0pl2-2 (patches applied)

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

Author: Stefano Zacchiroli
Author Date: 2004-12-13 15:05:18 UTC

8.0pl1-5 (patches applied)

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

Author: Stefano Zacchiroli
Author Date: 2004-12-13 15:05:18 UTC

8.0pl1-5 (patches unapplied)

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

Author: Stefano Zacchiroli
Author Date: 2004-12-13 15:05:18 UTC

8.0pl1-5 (patches unapplied)

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

Author: Stefano Zacchiroli
Author Date: 2004-12-13 15:05:18 UTC

8.0pl1-5 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/warty-devel 2005-12-20 14:24:57 UTC
7.3.1-3 (patches applied)

Author: Ralf Treinen
Author Date: 2004-04-09 16:03:41 UTC

7.3.1-3 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/warty 2005-12-20 14:24:57 UTC
7.3.1-3 (patches applied)

Author: Ralf Treinen
Author Date: 2004-04-09 16:03:41 UTC

7.3.1-3 (patches applied)

Imported using git-ubuntu import.
ubuntu/warty 2005-12-20 14:24:57 UTC
7.3.1-3 (patches unapplied)

Author: Ralf Treinen
Author Date: 2004-04-09 16:03:41 UTC

7.3.1-3 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/warty-devel 2005-12-20 14:24:57 UTC
7.3.1-3 (patches unapplied)

Author: Ralf Treinen
Author Date: 2004-04-09 16:03:41 UTC

7.3.1-3 (patches unapplied)

Imported using git-ubuntu import.
201 → 216 of 216 results First • • Next • Last

Other repositories

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