lp:ubuntu/+source/coq-simple-io
- Get this repository:
-
git clone
https://git.launchpad.net/ubuntu/+source/coq-simple-io
Related source package recipes
Branches
| Name | Last Modified | Last Commit |
|---|---|---|
| importer/ubuntu/dsc | 2024-05-13 18:42:14 UTC |
DSC file for 1.9.0-1build2
Author:
Ubuntu Git Importer
DSC file for 1.9.0-1build2 |
|
applied/ |
2024-05-13 18:24:18 UTC |
1.9.0-1build2 (patches applied)
Author:
Gianfranco Costamagna
1.9.0-1build2 (patches applied) Imported using git-ubuntu import. |
|
ubuntu/ |
2024-05-13 18:24:18 UTC |
1.9.0-1build2 (patches unapplied)
Author:
Gianfranco Costamagna
1.9.0-1build2 (patches unapplied) Imported using git-ubuntu import. |
|
ubuntu/ |
2024-05-13 18:24:18 UTC |
1.9.0-1build2 (patches unapplied)
Author:
Gianfranco Costamagna
1.9.0-1build2 (patches unapplied) Imported using git-ubuntu import. |
|
applied/ |
2024-05-13 18:24:18 UTC |
1.9.0-1build2 (patches applied)
Author:
Gianfranco Costamagna
1.9.0-1build2 (patches applied) Imported using git-ubuntu import. |
| ubuntu/devel | 2024-05-13 18:24:18 UTC |
1.9.0-1build2 (patches unapplied)
Author:
Gianfranco Costamagna
1.9.0-1build2 (patches unapplied) Imported using git-ubuntu import. |
|
applied/ |
2024-05-13 18:24:18 UTC |
1.9.0-1build2 (patches applied)
Author:
Gianfranco Costamagna
1.9.0-1build2 (patches applied) Imported using git-ubuntu import. |
| importer/debian/dsc | 2024-04-28 22:33:36 UTC |
DSC file for 1.9.0-1
Author:
Ubuntu Git Importer
DSC file for 1.9.0-1 |
|
applied/ |
2024-04-28 22:28:12 UTC |
1.9.0-1 (patches applied)
Author:
Julien Puydt
1.9.0-1 (patches applied) Imported using git-ubuntu import. |
| debian/sid | 2024-04-28 22:28:12 UTC |
1.9.0-1 (patches unapplied)
Author:
Julien Puydt
1.9.0-1 (patches unapplied) Imported using git-ubuntu import. |
| ubuntu/oracular | 2024-04-28 22:28:12 UTC |
1.9.0-1 (patches unapplied)
Author:
Julien Puydt
1.9.0-1 (patches unapplied) Imported using git-ubuntu import. |
| applied/debian/sid | 2024-04-28 22:28:12 UTC |
1.9.0-1 (patches applied)
Author:
Julien Puydt
1.9.0-1 (patches applied) Imported using git-ubuntu import. |
| ubuntu/noble-devel | 2024-04-08 07:19:12 UTC |
1.8.0-4ubuntu4 (patches unapplied)
Author:
Gianfranco Costamagna
1.8.0-4ubuntu4 (patches unapplied) Imported using git-ubuntu import. |
|
applied/ |
2024-04-08 07:19:12 UTC |
1.8.0-4ubuntu4 (patches applied)
Author:
Gianfranco Costamagna
1.8.0-4ubuntu4 (patches applied) Imported using git-ubuntu import. |
|
applied/ |
2024-04-08 07:19:12 UTC |
1.8.0-4ubuntu4 (patches applied)
Author:
Gianfranco Costamagna
1.8.0-4ubuntu4 (patches applied) Imported using git-ubuntu import. |
|
applied/ |
2024-04-08 07:19:12 UTC |
1.8.0-4ubuntu4 (patches applied)
Author:
Gianfranco Costamagna
1.8.0-4ubuntu4 (patches applied) Imported using git-ubuntu import. |
| ubuntu/noble | 2024-04-08 07:19:12 UTC |
1.8.0-4ubuntu4 (patches unapplied)
Author:
Gianfranco Costamagna
1.8.0-4ubuntu4 (patches unapplied) Imported using git-ubuntu import. |
|
ubuntu/ |
2024-04-08 07:19:12 UTC |
1.8.0-4ubuntu4 (patches unapplied)
Author:
Gianfranco Costamagna
1.8.0-4ubuntu4 (patches unapplied) Imported using git-ubuntu import. |
|
applied/ |
2023-12-24 07:59:07 UTC |
1.8.0-4ubuntu1 (patches applied)
Author:
Gianfranco Costamagna
1.8.0-4ubuntu1 (patches applied) Imported using git-ubuntu import. |
|
ubuntu/ |
2023-12-24 07:59:07 UTC |
1.8.0-4ubuntu1 (patches unapplied)
Author:
Gianfranco Costamagna
1.8.0-4ubuntu1 (patches unapplied) Imported using git-ubuntu import. |
|
applied/ |
2023-07-26 05:13:28 UTC |
1.8.0-3ubuntu2 (patches applied)
Author:
Gianfranco Costamagna
1.8.0-3ubuntu2 (patches applied) Imported using git-ubuntu import. |
|
applied/ |
2023-07-26 05:13:28 UTC |
1.8.0-3ubuntu2 (patches applied)
Author:
Gianfranco Costamagna
1.8.0-3ubuntu2 (patches applied) Imported using git-ubuntu import. |
| ubuntu/mantic | 2023-07-26 05:13:28 UTC |
1.8.0-3ubuntu2 (patches unapplied)
Author:
Gianfranco Costamagna
1.8.0-3ubuntu2 (patches unapplied) Imported using git-ubuntu import. |
| ubuntu/mantic-devel | 2023-07-26 05:13:28 UTC |
1.8.0-3ubuntu2 (patches unapplied)
Author:
Gianfranco Costamagna
1.8.0-3ubuntu2 (patches unapplied) Imported using git-ubuntu import. |
|
ubuntu/ |
2023-07-26 05:13:28 UTC |
1.8.0-3ubuntu2 (patches unapplied)
Author:
Gianfranco Costamagna
1.8.0-3ubuntu2 (patches unapplied) Imported using git-ubuntu import. |
|
applied/ |
2023-07-26 05:13:28 UTC |
1.8.0-3ubuntu2 (patches applied)
Author:
Gianfranco Costamagna
1.8.0-3ubuntu2 (patches applied) Imported using git-ubuntu import. |
|
applied/ |
2023-02-16 18:32:28 UTC |
1.8.0-2ubuntu2 (patches applied)
Author:
Gianfranco Costamagna
1.8.0-2ubuntu2 (patches applied) Imported using git-ubuntu import. |
|
applied/ |
2023-02-16 18:32:28 UTC |
1.8.0-2ubuntu2 (patches applied)
Author:
Gianfranco Costamagna
1.8.0-2ubuntu2 (patches applied) Imported using git-ubuntu import. |
|
applied/ |
2023-02-16 18:32:28 UTC |
1.8.0-2ubuntu2 (patches applied)
Author:
Gianfranco Costamagna
1.8.0-2ubuntu2 (patches applied) Imported using git-ubuntu import. |
| ubuntu/lunar | 2023-02-16 18:32:28 UTC |
1.8.0-2ubuntu2 (patches unapplied)
Author:
Gianfranco Costamagna
1.8.0-2ubuntu2 (patches unapplied) Imported using git-ubuntu import. |
| ubuntu/lunar-devel | 2023-02-16 18:32:28 UTC |
1.8.0-2ubuntu2 (patches unapplied)
Author:
Gianfranco Costamagna
1.8.0-2ubuntu2 (patches unapplied) Imported using git-ubuntu import. |
|
ubuntu/ |
2023-02-16 18:32:28 UTC |
1.8.0-2ubuntu2 (patches unapplied)
Author:
Gianfranco Costamagna
1.8.0-2ubuntu2 (patches unapplied) Imported using git-ubuntu import. |
| debian/bookworm | 2023-01-26 16:27:52 UTC |
1.8.0-2 (patches unapplied)
Author:
Julien Puydt
1.8.0-2 (patches unapplied) Imported using git-ubuntu import. |
|
applied/ |
2023-01-26 16:27:52 UTC |
1.8.0-2 (patches applied)
Author:
Julien Puydt
1.8.0-2 (patches applied) Imported using git-ubuntu import. |
|
importer/ |
2022-08-26 18:54:28 UTC |
pristine-tar data for coq-simple-io_1.7.0.orig.tar.gz
Author:
Ubuntu Git Importer
pristine-tar data for coq-simple- |
|
importer/ |
2022-08-26 18:54:22 UTC |
pristine-tar data for coq-simple-io_1.7.0.orig.tar.gz
Author:
Ubuntu Git Importer
pristine-tar data for coq-simple- |
|
ubuntu/ |
2022-08-16 07:55:11 UTC |
1.7.0-2ubuntu1 (patches unapplied)
Author:
Gianfranco Costamagna
1.7.0-2ubuntu1 (patches unapplied) Imported using git-ubuntu import. |
|
applied/ |
2022-08-16 07:55:11 UTC |
1.7.0-2ubuntu1 (patches applied)
Author:
Gianfranco Costamagna
1.7.0-2ubuntu1 (patches applied) Imported using git-ubuntu import. |
|
ubuntu/ |
2022-08-16 07:55:11 UTC |
1.7.0-2ubuntu1 (patches unapplied)
Author:
Gianfranco Costamagna
1.7.0-2ubuntu1 (patches unapplied) Imported using git-ubuntu import. |
| ubuntu/kinetic | 2022-08-16 07:55:11 UTC |
1.7.0-2ubuntu1 (patches unapplied)
Author:
Gianfranco Costamagna
1.7.0-2ubuntu1 (patches unapplied) Imported using git-ubuntu import. |
|
applied/ |
2022-08-16 07:55:11 UTC |
1.7.0-2ubuntu1 (patches applied)
Author:
Gianfranco Costamagna
1.7.0-2ubuntu1 (patches applied) Imported using git-ubuntu import. |
|
applied/ |
2022-08-16 07:55:11 UTC |
1.7.0-2ubuntu1 (patches applied)
Author:
Gianfranco Costamagna
1.7.0-2ubuntu1 (patches applied) Imported using git-ubuntu import. |
| 1 → 42 of 42 results | First • Previous • Next • Last |
