lp:ubuntu/+source/coq-stdpp
- Get this repository:
-
git clone
https://git.launchpad.net/ubuntu/+source/coq-stdpp
Related source package recipes
Branches
| Name | Last Modified | Last Commit |
|---|---|---|
| importer/ubuntu/dsc | 2024-05-02 20:33:57 UTC |
DSC file for 1.10.0-1build1
Author:
Ubuntu Git Importer
DSC file for 1.10.0-1build1 |
|
applied/ |
2024-05-02 20:11:18 UTC |
1.10.0-1build1 (patches applied)
Author:
Gianfranco Costamagna
1.10.0-1build1 (patches applied) Imported using git-ubuntu import. |
|
ubuntu/ |
2024-05-02 20:11:18 UTC |
1.10.0-1build1 (patches unapplied)
Author:
Gianfranco Costamagna
1.10.0-1build1 (patches unapplied) Imported using git-ubuntu import. |
|
ubuntu/ |
2024-05-02 20:11:18 UTC |
1.10.0-1build1 (patches unapplied)
Author:
Gianfranco Costamagna
1.10.0-1build1 (patches unapplied) Imported using git-ubuntu import. |
| ubuntu/devel | 2024-05-02 20:11:18 UTC |
1.10.0-1build1 (patches unapplied)
Author:
Gianfranco Costamagna
1.10.0-1build1 (patches unapplied) Imported using git-ubuntu import. |
|
applied/ |
2024-05-02 20:11:18 UTC |
1.10.0-1build1 (patches applied)
Author:
Gianfranco Costamagna
1.10.0-1build1 (patches applied) Imported using git-ubuntu import. |
|
applied/ |
2024-05-02 20:11:18 UTC |
1.10.0-1build1 (patches applied)
Author:
Gianfranco Costamagna
1.10.0-1build1 (patches applied) Imported using git-ubuntu import. |
| importer/debian/dsc | 2024-04-26 22:30:01 UTC |
DSC file for 1.10.0-1
Author:
Ubuntu Git Importer
DSC file for 1.10.0-1 |
| debian/sid | 2024-04-26 22:27:35 UTC |
1.10.0-1 (patches unapplied)
Author:
Julien Puydt
1.10.0-1 (patches unapplied) Imported using git-ubuntu import. |
| applied/debian/sid | 2024-04-26 22:27:35 UTC |
1.10.0-1 (patches applied)
Author:
Julien Puydt
1.10.0-1 (patches applied) Imported using git-ubuntu import. |
| ubuntu/noble-devel | 2024-04-08 07:16:12 UTC |
1.9.0-1build3 (patches unapplied)
Author:
Gianfranco Costamagna
1.9.0-1build3 (patches unapplied) Imported using git-ubuntu import. |
|
applied/ |
2024-04-08 07:16:12 UTC |
1.9.0-1build3 (patches applied)
Author:
Gianfranco Costamagna
1.9.0-1build3 (patches applied) Imported using git-ubuntu import. |
|
applied/ |
2024-04-08 07:16:12 UTC |
1.9.0-1build3 (patches applied)
Author:
Gianfranco Costamagna
1.9.0-1build3 (patches applied) Imported using git-ubuntu import. |
|
applied/ |
2024-04-08 07:16:12 UTC |
1.9.0-1build3 (patches applied)
Author:
Gianfranco Costamagna
1.9.0-1build3 (patches applied) Imported using git-ubuntu import. |
|
applied/ |
2024-04-08 07:16:12 UTC |
1.9.0-1build3 (patches applied)
Author:
Gianfranco Costamagna
1.9.0-1build3 (patches applied) Imported using git-ubuntu import. |
| ubuntu/noble | 2024-04-08 07:16:12 UTC |
1.9.0-1build3 (patches unapplied)
Author:
Gianfranco Costamagna
1.9.0-1build3 (patches unapplied) Imported using git-ubuntu import. |
|
ubuntu/ |
2024-04-08 07:16:12 UTC |
1.9.0-1build3 (patches unapplied)
Author:
Gianfranco Costamagna
1.9.0-1build3 (patches unapplied) Imported using git-ubuntu import. |
| ubuntu/oracular | 2024-04-08 07:16:12 UTC |
1.9.0-1build3 (patches unapplied)
Author:
Gianfranco Costamagna
1.9.0-1build3 (patches unapplied) Imported using git-ubuntu import. |
|
applied/ |
2023-12-22 16:36:07 UTC |
1.9.0-1 (patches applied)
Author:
Julien Puydt
1.9.0-1 (patches applied) Imported using git-ubuntu import. |
|
ubuntu/ |
2023-12-22 16:36:07 UTC |
1.9.0-1 (patches unapplied)
Author:
Julien Puydt
1.9.0-1 (patches unapplied) Imported using git-ubuntu import. |
|
applied/ |
2023-07-26 05:12:26 UTC |
1.8.0-4build1 (patches applied)
Author:
Gianfranco Costamagna
1.8.0-4build1 (patches applied) Imported using git-ubuntu import. |
| ubuntu/mantic | 2023-07-26 05:12:26 UTC |
1.8.0-4build1 (patches unapplied)
Author:
Gianfranco Costamagna
1.8.0-4build1 (patches unapplied) Imported using git-ubuntu import. |
| ubuntu/mantic-devel | 2023-07-26 05:12:26 UTC |
1.8.0-4build1 (patches unapplied)
Author:
Gianfranco Costamagna
1.8.0-4build1 (patches unapplied) Imported using git-ubuntu import. |
|
ubuntu/ |
2023-07-26 05:12:26 UTC |
1.8.0-4build1 (patches unapplied)
Author:
Gianfranco Costamagna
1.8.0-4build1 (patches unapplied) Imported using git-ubuntu import. |
|
applied/ |
2023-07-26 05:12:26 UTC |
1.8.0-4build1 (patches applied)
Author:
Gianfranco Costamagna
1.8.0-4build1 (patches applied) Imported using git-ubuntu import. |
|
applied/ |
2023-07-26 05:12:26 UTC |
1.8.0-4build1 (patches applied)
Author:
Gianfranco Costamagna
1.8.0-4build1 (patches applied) Imported using git-ubuntu import. |
| ubuntu/lunar-devel | 2023-02-16 18:30:20 UTC |
1.8.0-3build2 (patches unapplied)
Author:
Gianfranco Costamagna
1.8.0-3build2 (patches unapplied) Imported using git-ubuntu import. |
|
applied/ |
2023-02-16 18:30:20 UTC |
1.8.0-3build2 (patches applied)
Author:
Gianfranco Costamagna
1.8.0-3build2 (patches applied) Imported using git-ubuntu import. |
|
applied/ |
2023-02-16 18:30:20 UTC |
1.8.0-3build2 (patches applied)
Author:
Gianfranco Costamagna
1.8.0-3build2 (patches applied) Imported using git-ubuntu import. |
|
ubuntu/ |
2023-02-16 18:30:20 UTC |
1.8.0-3build2 (patches unapplied)
Author:
Gianfranco Costamagna
1.8.0-3build2 (patches unapplied) Imported using git-ubuntu import. |
| ubuntu/lunar | 2023-02-16 18:30:20 UTC |
1.8.0-3build2 (patches unapplied)
Author:
Gianfranco Costamagna
1.8.0-3build2 (patches unapplied) Imported using git-ubuntu import. |
|
applied/ |
2023-02-16 18:30:20 UTC |
1.8.0-3build2 (patches applied)
Author:
Gianfranco Costamagna
1.8.0-3build2 (patches applied) Imported using git-ubuntu import. |
|
applied/ |
2023-01-25 16:28:44 UTC |
1.8.0-3 (patches applied)
Author:
Julien Puydt
1.8.0-3 (patches applied) Imported using git-ubuntu import. |
| debian/bookworm | 2023-01-25 16:28:44 UTC |
1.8.0-3 (patches unapplied)
Author:
Julien Puydt
1.8.0-3 (patches unapplied) Imported using git-ubuntu import. |
|
importer/ |
2022-08-22 12:06:58 UTC |
pristine-tar data for coq-stdpp_1.8.0.orig.tar.gz
Author:
Ubuntu Git Importer
pristine-tar data for coq-stdpp_ |
|
importer/ |
2022-08-22 12:06:53 UTC |
pristine-tar data for coq-stdpp_1.8.0.orig.tar.gz
Author:
Ubuntu Git Importer
pristine-tar data for coq-stdpp_ |
|
applied/ |
2022-08-19 16:27:50 UTC |
1.8.0-1 (patches applied)
Author:
Julien Puydt
1.8.0-1 (patches applied) Imported using git-ubuntu import. |
|
ubuntu/ |
2022-08-19 16:27:50 UTC |
1.8.0-1 (patches unapplied)
Author:
Julien Puydt
1.8.0-1 (patches unapplied) Imported using git-ubuntu import. |
|
ubuntu/ |
2022-08-19 16:27:50 UTC |
1.8.0-1 (patches unapplied)
Author:
Julien Puydt
1.8.0-1 (patches unapplied) Imported using git-ubuntu import. |
|
applied/ |
2022-08-19 16:27:50 UTC |
1.8.0-1 (patches applied)
Author:
Julien Puydt
1.8.0-1 (patches applied) Imported using git-ubuntu import. |
|
applied/ |
2022-08-19 16:27:50 UTC |
1.8.0-1 (patches applied)
Author:
Julien Puydt
1.8.0-1 (patches applied) Imported using git-ubuntu import. |
| ubuntu/kinetic | 2022-08-19 16:27:50 UTC |
1.8.0-1 (patches unapplied)
Author:
Julien Puydt
1.8.0-1 (patches unapplied) Imported using git-ubuntu import. |
| 1 → 42 of 42 results | First • Previous • Next • Last |
