lp:ubuntu/+source/coq-reglang
- Get this repository:
-
git clone
https://git.launchpad.net/ubuntu/+source/coq-reglang
Related source package recipes
Branches
| Name | Last Modified | Last Commit |
|---|---|---|
| importer/ubuntu/dsc | 2024-06-15 14:51:23 UTC |
DSC file for 1.2.1-3build5
Author:
Ubuntu Git Importer
DSC file for 1.2.1-3build5 |
|
applied/ |
2024-06-15 14:35:21 UTC |
1.2.1-3build5 (patches applied)
Author:
Gianfranco Costamagna
1.2.1-3build5 (patches applied) Imported using git-ubuntu import. |
|
ubuntu/ |
2024-06-15 14:35:21 UTC |
1.2.1-3build5 (patches unapplied)
Author:
Gianfranco Costamagna
1.2.1-3build5 (patches unapplied) Imported using git-ubuntu import. |
|
ubuntu/ |
2024-06-15 14:35:21 UTC |
1.2.1-3build5 (patches unapplied)
Author:
Gianfranco Costamagna
1.2.1-3build5 (patches unapplied) Imported using git-ubuntu import. |
|
applied/ |
2024-06-15 14:35:21 UTC |
1.2.1-3build5 (patches applied)
Author:
Gianfranco Costamagna
1.2.1-3build5 (patches applied) Imported using git-ubuntu import. |
| ubuntu/devel | 2024-06-15 14:35:21 UTC |
1.2.1-3build5 (patches unapplied)
Author:
Gianfranco Costamagna
1.2.1-3build5 (patches unapplied) Imported using git-ubuntu import. |
|
applied/ |
2024-06-15 14:35:21 UTC |
1.2.1-3build5 (patches applied)
Author:
Gianfranco Costamagna
1.2.1-3build5 (patches applied) Imported using git-ubuntu import. |
|
applied/ |
2024-06-03 21:42:07 UTC |
1.2.1-3build4 (patches applied)
Author:
Gianfranco Costamagna
1.2.1-3build4 (patches applied) Imported using git-ubuntu import. |
| ubuntu/oracular | 2024-06-03 21:42:07 UTC |
1.2.1-3build4 (patches unapplied)
Author:
Gianfranco Costamagna
1.2.1-3build4 (patches unapplied) Imported using git-ubuntu import. |
| importer/debian/dsc | 2024-04-30 22:34:04 UTC |
DSC file for 1.2.1-3
Author:
Ubuntu Git Importer
DSC file for 1.2.1-3 |
| debian/sid | 2024-04-30 22:26:59 UTC |
1.2.1-3 (patches unapplied)
Author:
Julien Puydt
1.2.1-3 (patches unapplied) Imported using git-ubuntu import. |
| applied/debian/sid | 2024-04-30 22:26:59 UTC |
1.2.1-3 (patches applied)
Author:
Julien Puydt
1.2.1-3 (patches applied) Imported using git-ubuntu import. |
| ubuntu/noble-devel | 2024-04-08 07:16:09 UTC |
1.2.1-1build5 (patches unapplied)
Author:
Gianfranco Costamagna
1.2.1-1build5 (patches unapplied) Imported using git-ubuntu import. |
|
applied/ |
2024-04-08 07:16:09 UTC |
1.2.1-1build5 (patches applied)
Author:
Gianfranco Costamagna
1.2.1-1build5 (patches applied) Imported using git-ubuntu import. |
|
applied/ |
2024-04-08 07:16:09 UTC |
1.2.1-1build5 (patches applied)
Author:
Gianfranco Costamagna
1.2.1-1build5 (patches applied) Imported using git-ubuntu import. |
|
applied/ |
2024-04-08 07:16:09 UTC |
1.2.1-1build5 (patches applied)
Author:
Gianfranco Costamagna
1.2.1-1build5 (patches applied) Imported using git-ubuntu import. |
| ubuntu/noble | 2024-04-08 07:16:09 UTC |
1.2.1-1build5 (patches unapplied)
Author:
Gianfranco Costamagna
1.2.1-1build5 (patches unapplied) Imported using git-ubuntu import. |
|
ubuntu/ |
2024-04-08 07:16:09 UTC |
1.2.1-1build5 (patches unapplied)
Author:
Gianfranco Costamagna
1.2.1-1build5 (patches unapplied) Imported using git-ubuntu import. |
|
applied/ |
2024-02-17 00:25:13 UTC |
1.2.1-1build2 (patches applied)
Author:
Gianfranco Costamagna
1.2.1-1build2 (patches applied) Imported using git-ubuntu import. |
|
ubuntu/ |
2024-02-17 00:25:13 UTC |
1.2.1-1build2 (patches unapplied)
Author:
Gianfranco Costamagna
1.2.1-1build2 (patches unapplied) Imported using git-ubuntu import. |
|
applied/ |
2023-07-24 17:07:23 UTC |
1.1.3-4build1 (patches applied)
Author:
Gianfranco Costamagna
1.1.3-4build1 (patches applied) Imported using git-ubuntu import. |
|
applied/ |
2023-07-24 17:07:23 UTC |
1.1.3-4build1 (patches applied)
Author:
Gianfranco Costamagna
1.1.3-4build1 (patches applied) Imported using git-ubuntu import. |
| ubuntu/mantic | 2023-07-24 17:07:23 UTC |
1.1.3-4build1 (patches unapplied)
Author:
Gianfranco Costamagna
1.1.3-4build1 (patches unapplied) Imported using git-ubuntu import. |
| ubuntu/mantic-devel | 2023-07-24 17:07:23 UTC |
1.1.3-4build1 (patches unapplied)
Author:
Gianfranco Costamagna
1.1.3-4build1 (patches unapplied) Imported using git-ubuntu import. |
|
ubuntu/ |
2023-07-24 17:07:23 UTC |
1.1.3-4build1 (patches unapplied)
Author:
Gianfranco Costamagna
1.1.3-4build1 (patches unapplied) Imported using git-ubuntu import. |
|
applied/ |
2023-07-24 17:07:23 UTC |
1.1.3-4build1 (patches applied)
Author:
Gianfranco Costamagna
1.1.3-4build1 (patches applied) Imported using git-ubuntu import. |
|
applied/ |
2023-02-16 18:30:17 UTC |
1.1.3-2build2 (patches applied)
Author:
Gianfranco Costamagna
1.1.3-2build2 (patches applied) Imported using git-ubuntu import. |
|
applied/ |
2023-02-16 18:30:17 UTC |
1.1.3-2build2 (patches applied)
Author:
Gianfranco Costamagna
1.1.3-2build2 (patches applied) Imported using git-ubuntu import. |
|
applied/ |
2023-02-16 18:30:17 UTC |
1.1.3-2build2 (patches applied)
Author:
Gianfranco Costamagna
1.1.3-2build2 (patches applied) Imported using git-ubuntu import. |
| ubuntu/lunar | 2023-02-16 18:30:17 UTC |
1.1.3-2build2 (patches unapplied)
Author:
Gianfranco Costamagna
1.1.3-2build2 (patches unapplied) Imported using git-ubuntu import. |
| ubuntu/lunar-devel | 2023-02-16 18:30:17 UTC |
1.1.3-2build2 (patches unapplied)
Author:
Gianfranco Costamagna
1.1.3-2build2 (patches unapplied) Imported using git-ubuntu import. |
|
ubuntu/ |
2023-02-16 18:30:17 UTC |
1.1.3-2build2 (patches unapplied)
Author:
Gianfranco Costamagna
1.1.3-2build2 (patches unapplied) Imported using git-ubuntu import. |
| debian/bookworm | 2023-01-26 16:27:49 UTC |
1.1.3-2 (patches unapplied)
Author:
Julien Puydt
1.1.3-2 (patches unapplied) Imported using git-ubuntu import. |
|
applied/ |
2023-01-26 16:27:49 UTC |
1.1.3-2 (patches applied)
Author:
Julien Puydt
1.1.3-2 (patches applied) Imported using git-ubuntu import. |
|
importer/ |
2022-08-26 18:54:20 UTC |
pristine-tar data for coq-reglang_1.1.3.orig.tar.gz
Author:
Ubuntu Git Importer
pristine-tar data for coq-reglang_ |
|
importer/ |
2022-08-26 18:54:14 UTC |
pristine-tar data for coq-reglang_1.1.3.orig.tar.gz
Author:
Ubuntu Git Importer
pristine-tar data for coq-reglang_ |
|
ubuntu/ |
2022-07-18 22:29:28 UTC |
1.1.3-1 (patches unapplied)
Author:
Julien Puydt
1.1.3-1 (patches unapplied) Imported using git-ubuntu import. |
|
applied/ |
2022-07-18 22:29:28 UTC |
1.1.3-1 (patches applied)
Author:
Julien Puydt
1.1.3-1 (patches applied) Imported using git-ubuntu import. |
|
ubuntu/ |
2022-07-18 22:29:28 UTC |
1.1.3-1 (patches unapplied)
Author:
Julien Puydt
1.1.3-1 (patches unapplied) Imported using git-ubuntu import. |
| ubuntu/kinetic | 2022-07-18 22:29:28 UTC |
1.1.3-1 (patches unapplied)
Author:
Julien Puydt
1.1.3-1 (patches unapplied) Imported using git-ubuntu import. |
|
applied/ |
2022-07-18 22:29:28 UTC |
1.1.3-1 (patches applied)
Author:
Julien Puydt
1.1.3-1 (patches applied) Imported using git-ubuntu import. |
|
applied/ |
2022-07-18 22:29:28 UTC |
1.1.3-1 (patches applied)
Author:
Julien Puydt
1.1.3-1 (patches applied) Imported using git-ubuntu import. |
| 1 → 42 of 42 results | First • Previous • Next • Last |
