lp:ubuntu/+source/coq-relation-algebra
- Get this repository:
-
git clone
https://git.launchpad.net/ubuntu/+source/coq-relation-algebra
Branches
Name | Last Modified | Last Commit |
---|---|---|
importer/ubuntu/dsc | 2024-06-15 14:51:24 UTC |
DSC file for 1.7.10-3build7
Author:
Ubuntu Git Importer
DSC file for 1.7.10-3build7 |
ubuntu/ |
2024-06-15 14:39:14 UTC |
1.7.10-3build7 (patches unapplied)
Author:
Gianfranco Costamagna
1.7.10-3build7 (patches unapplied) Imported using git-ubuntu import. |
applied/ |
2024-06-15 14:39:14 UTC |
1.7.10-3build7 (patches applied)
Author:
Gianfranco Costamagna
1.7.10-3build7 (patches applied) Imported using git-ubuntu import. |
ubuntu/ |
2024-06-15 14:39:14 UTC |
1.7.10-3build7 (patches unapplied)
Author:
Gianfranco Costamagna
1.7.10-3build7 (patches unapplied) Imported using git-ubuntu import. |
ubuntu/oracular | 2024-06-15 14:39:14 UTC |
1.7.10-3build7 (patches unapplied)
Author:
Gianfranco Costamagna
1.7.10-3build7 (patches unapplied) Imported using git-ubuntu import. |
ubuntu/devel | 2024-06-15 14:39:14 UTC |
1.7.10-3build7 (patches unapplied)
Author:
Gianfranco Costamagna
1.7.10-3build7 (patches unapplied) Imported using git-ubuntu import. |
applied/ |
2024-06-15 14:39:14 UTC |
1.7.10-3build7 (patches applied)
Author:
Gianfranco Costamagna
1.7.10-3build7 (patches applied) Imported using git-ubuntu import. |
applied/ |
2024-06-15 14:39:14 UTC |
1.7.10-3build7 (patches applied)
Author:
Gianfranco Costamagna
1.7.10-3build7 (patches applied) Imported using git-ubuntu import. |
applied/ |
2024-06-15 14:39:14 UTC |
1.7.10-3build7 (patches applied)
Author:
Gianfranco Costamagna
1.7.10-3build7 (patches applied) Imported using git-ubuntu import. |
importer/debian/dsc | 2024-05-01 04:35:31 UTC |
DSC file for 1.7.10-3
Author:
Ubuntu Git Importer
DSC file for 1.7.10-3 |
applied/debian/sid | 2024-05-01 04:27:20 UTC |
1.7.10-3 (patches applied)
Author:
Julien Puydt
1.7.10-3 (patches applied) Imported using git-ubuntu import. |
debian/sid | 2024-05-01 04:27:20 UTC |
1.7.10-3 (patches unapplied)
Author:
Julien Puydt
1.7.10-3 (patches unapplied) Imported using git-ubuntu import. |
applied/ |
2024-04-08 07:19:09 UTC |
1.7.9-2build5 (patches applied)
Author:
Gianfranco Costamagna
1.7.9-2build5 (patches applied) Imported using git-ubuntu import. |
applied/ |
2024-04-08 07:19:09 UTC |
1.7.9-2build5 (patches applied)
Author:
Gianfranco Costamagna
1.7.9-2build5 (patches applied) Imported using git-ubuntu import. |
applied/ |
2024-04-08 07:19:09 UTC |
1.7.9-2build5 (patches applied)
Author:
Gianfranco Costamagna
1.7.9-2build5 (patches applied) Imported using git-ubuntu import. |
ubuntu/noble | 2024-04-08 07:19:09 UTC |
1.7.9-2build5 (patches unapplied)
Author:
Gianfranco Costamagna
1.7.9-2build5 (patches unapplied) Imported using git-ubuntu import. |
ubuntu/noble-devel | 2024-04-08 07:19:09 UTC |
1.7.9-2build5 (patches unapplied)
Author:
Gianfranco Costamagna
1.7.9-2build5 (patches unapplied) Imported using git-ubuntu import. |
ubuntu/ |
2024-04-08 07:19:09 UTC |
1.7.9-2build5 (patches unapplied)
Author:
Gianfranco Costamagna
1.7.9-2build5 (patches unapplied) Imported using git-ubuntu import. |
ubuntu/ |
2024-02-17 00:27:14 UTC |
1.7.9-2build2 (patches unapplied)
Author:
Gianfranco Costamagna
1.7.9-2build2 (patches unapplied) Imported using git-ubuntu import. |
applied/ |
2024-02-17 00:27:14 UTC |
1.7.9-2build2 (patches applied)
Author:
Gianfranco Costamagna
1.7.9-2build2 (patches applied) Imported using git-ubuntu import. |
applied/ |
2023-07-24 17:10:51 UTC |
1.7.9-1build1 (patches applied)
Author:
Gianfranco Costamagna
1.7.9-1build1 (patches applied) Imported using git-ubuntu import. |
applied/ |
2023-07-24 17:10:51 UTC |
1.7.9-1build1 (patches applied)
Author:
Gianfranco Costamagna
1.7.9-1build1 (patches applied) Imported using git-ubuntu import. |
ubuntu/mantic | 2023-07-24 17:10:51 UTC |
1.7.9-1build1 (patches unapplied)
Author:
Gianfranco Costamagna
1.7.9-1build1 (patches unapplied) Imported using git-ubuntu import. |
ubuntu/mantic-devel | 2023-07-24 17:10:51 UTC |
1.7.9-1build1 (patches unapplied)
Author:
Gianfranco Costamagna
1.7.9-1build1 (patches unapplied) Imported using git-ubuntu import. |
ubuntu/ |
2023-07-24 17:10:51 UTC |
1.7.9-1build1 (patches unapplied)
Author:
Gianfranco Costamagna
1.7.9-1build1 (patches unapplied) Imported using git-ubuntu import. |
applied/ |
2023-07-24 17:10:51 UTC |
1.7.9-1build1 (patches applied)
Author:
Gianfranco Costamagna
1.7.9-1build1 (patches applied) Imported using git-ubuntu import. |
ubuntu/lunar | 2023-02-16 18:32:26 UTC |
1.7.8-2build2 (patches unapplied)
Author:
Gianfranco Costamagna
1.7.8-2build2 (patches unapplied) Imported using git-ubuntu import. |
applied/ |
2023-02-16 18:32:26 UTC |
1.7.8-2build2 (patches applied)
Author:
Gianfranco Costamagna
1.7.8-2build2 (patches applied) Imported using git-ubuntu import. |
ubuntu/lunar-devel | 2023-02-16 18:32:26 UTC |
1.7.8-2build2 (patches unapplied)
Author:
Gianfranco Costamagna
1.7.8-2build2 (patches unapplied) Imported using git-ubuntu import. |
applied/ |
2023-02-16 18:32:26 UTC |
1.7.8-2build2 (patches applied)
Author:
Gianfranco Costamagna
1.7.8-2build2 (patches applied) Imported using git-ubuntu import. |
applied/ |
2023-02-16 18:32:26 UTC |
1.7.8-2build2 (patches applied)
Author:
Gianfranco Costamagna
1.7.8-2build2 (patches applied) Imported using git-ubuntu import. |
ubuntu/ |
2023-02-16 18:32:26 UTC |
1.7.8-2build2 (patches unapplied)
Author:
Gianfranco Costamagna
1.7.8-2build2 (patches unapplied) Imported using git-ubuntu import. |
applied/ |
2023-01-26 16:27:51 UTC |
1.7.8-2 (patches applied)
Author:
Julien Puydt
1.7.8-2 (patches applied) Imported using git-ubuntu import. |
debian/bookworm | 2023-01-26 16:27:51 UTC |
1.7.8-2 (patches unapplied)
Author:
Julien Puydt
1.7.8-2 (patches unapplied) Imported using git-ubuntu import. |
importer/ |
2023-01-19 14:52:26 UTC |
pristine-tar data for coq-relation-algebra_1.7.8.orig.tar.gz
Author:
Ubuntu Git Importer
pristine-tar data for coq-relation- |
importer/ |
2023-01-19 14:52:21 UTC |
pristine-tar data for coq-relation-algebra_1.7.8.orig.tar.gz
Author:
Ubuntu Git Importer
pristine-tar data for coq-relation- |
1 → 36 of 36 results | First • Previous • Next • Last |