- Get this repository:
-
git clone
https://git.launchpad.net/ubuntu/+source/coq-doc
Branches
| Name | Last Modified | Last Commit |
|---|---|---|
| ubuntu/hoary-devel | 2005-12-20 20:43:54 UTC |
8.0pl1.0-1 (patches unapplied)
Author:
Samuel Mimram
8.0pl1.0-1 (patches unapplied) Imported using git-ubuntu import. |
|
applied/ |
2005-12-20 20:43:54 UTC |
8.0pl1.0-1 (patches applied)
Author:
Samuel Mimram
8.0pl1.0-1 (patches applied) Imported using git-ubuntu import. |
|
applied/ |
2005-12-20 14:24:58 UTC |
7.2-1 (patches applied)
Author:
=?utf-8?q?Judica=EF=BF=BDl_Courant?=
7.2-1 (patches applied) Imported using git-ubuntu import. |
|
applied/ |
2005-12-20 14:24:58 UTC |
7.2-1 (patches applied)
Author:
=?utf-8?q?Judica=EF=BF=BDl_Courant?=
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?=
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?=
7.2-1 (patches unapplied) Imported using git-ubuntu import. |
| 201 → 206 of 206 results | First • Previous • Next • Last |
Other repositories
| Name | Last Modified |
|---|---|
| lp:ubuntu/+source/coq-doc | 2024-05-02 |
| 1 → 1 of 1 result | First • Previous • Next • Last |
