- Get this repository:
-
git clone
https://git.launchpad.net/ubuntu/+source/coq-elpi
Branches
Name | Last Modified | Last Commit |
---|---|---|
importer/debian/dsc | 2024-04-27 22:36:55 UTC |
DSC file for 2.1.0-1
Author:
Ubuntu Git Importer
DSC file for 2.1.0-1 |
applied/debian/sid | 2024-04-27 22:27:49 UTC |
2.1.0-1 (patches applied)
Author:
Julien Puydt
2.1.0-1 (patches applied) Imported using git-ubuntu import. |
debian/sid | 2024-04-27 22:27:49 UTC |
2.1.0-1 (patches unapplied)
Author:
Julien Puydt
2.1.0-1 (patches unapplied) Imported using git-ubuntu import. |
importer/ubuntu/dsc | 2024-04-08 08:08:43 UTC |
DSC file for 1.19.3-2build4
Author:
Ubuntu Git Importer
DSC file for 1.19.3-2build4 |
ubuntu/ |
2024-04-08 07:14:19 UTC |
1.19.3-2build4 (patches unapplied)
Author:
Gianfranco Costamagna
1.19.3-2build4 (patches unapplied) Imported using git-ubuntu import. |
ubuntu/noble-devel | 2024-04-08 07:14:19 UTC |
1.19.3-2build4 (patches unapplied)
Author:
Gianfranco Costamagna
1.19.3-2build4 (patches unapplied) Imported using git-ubuntu import. |
ubuntu/noble | 2024-04-08 07:14:19 UTC |
1.19.3-2build4 (patches unapplied)
Author:
Gianfranco Costamagna
1.19.3-2build4 (patches unapplied) Imported using git-ubuntu import. |
ubuntu/devel | 2024-04-08 07:14:19 UTC |
1.19.3-2build4 (patches unapplied)
Author:
Gianfranco Costamagna
1.19.3-2build4 (patches unapplied) Imported using git-ubuntu import. |
applied/ |
2024-04-08 07:14:19 UTC |
1.19.3-2build4 (patches applied)
Author:
Gianfranco Costamagna
1.19.3-2build4 (patches applied) Imported using git-ubuntu import. |
applied/ |
2024-04-08 07:14:19 UTC |
1.19.3-2build4 (patches applied)
Author:
Gianfranco Costamagna
1.19.3-2build4 (patches applied) Imported using git-ubuntu import. |
applied/ |
2024-04-08 07:14:19 UTC |
1.19.3-2build4 (patches applied)
Author:
Gianfranco Costamagna
1.19.3-2build4 (patches applied) Imported using git-ubuntu import. |
applied/ |
2024-04-08 07:14:19 UTC |
1.19.3-2build4 (patches applied)
Author:
Gianfranco Costamagna
1.19.3-2build4 (patches applied) Imported using git-ubuntu import. |
applied/ |
2024-04-08 07:14:19 UTC |
1.19.3-2build4 (patches applied)
Author:
Gianfranco Costamagna
1.19.3-2build4 (patches applied) Imported using git-ubuntu import. |
applied/ |
2024-04-08 07:14:19 UTC |
1.19.3-2build4 (patches applied)
Author:
Gianfranco Costamagna
1.19.3-2build4 (patches applied) Imported using git-ubuntu import. |
ubuntu/ |
2024-04-08 07:14:19 UTC |
1.19.3-2build4 (patches unapplied)
Author:
Gianfranco Costamagna
1.19.3-2build4 (patches unapplied) Imported using git-ubuntu import. |
ubuntu/oracular | 2024-04-08 07:14:19 UTC |
1.19.3-2build4 (patches unapplied)
Author:
Gianfranco Costamagna
1.19.3-2build4 (patches unapplied) Imported using git-ubuntu import. |
applied/ |
2024-02-17 00:25:11 UTC |
1.19.3-2build1 (patches applied)
Author:
Gianfranco Costamagna
1.19.3-2build1 (patches applied) Imported using git-ubuntu import. |
ubuntu/ |
2024-02-17 00:25:11 UTC |
1.19.3-2build1 (patches unapplied)
Author:
Gianfranco Costamagna
1.19.3-2build1 (patches unapplied) Imported using git-ubuntu import. |
applied/ |
2023-08-28 15:12:08 UTC |
1.17.1-1build8 (patches applied)
Author:
Gianfranco Costamagna
1.17.1-1build8 (patches applied) Imported using git-ubuntu import. |
applied/ |
2023-08-28 15:12:08 UTC |
1.17.1-1build8 (patches applied)
Author:
Gianfranco Costamagna
1.17.1-1build8 (patches applied) Imported using git-ubuntu import. |
ubuntu/ |
2023-08-28 15:12:08 UTC |
1.17.1-1build8 (patches unapplied)
Author:
Gianfranco Costamagna
1.17.1-1build8 (patches unapplied) Imported using git-ubuntu import. |
ubuntu/mantic-devel | 2023-08-28 15:12:08 UTC |
1.17.1-1build8 (patches unapplied)
Author:
Gianfranco Costamagna
1.17.1-1build8 (patches unapplied) Imported using git-ubuntu import. |
ubuntu/mantic | 2023-08-28 15:12:08 UTC |
1.17.1-1build8 (patches unapplied)
Author:
Gianfranco Costamagna
1.17.1-1build8 (patches unapplied) Imported using git-ubuntu import. |
applied/ |
2023-08-28 15:12:08 UTC |
1.17.1-1build8 (patches applied)
Author:
Gianfranco Costamagna
1.17.1-1build8 (patches applied) Imported using git-ubuntu import. |
ubuntu/ |
2023-02-16 22:55:24 UTC |
1.16.0-2build1 (patches unapplied)
Author:
Gianfranco Costamagna
1.16.0-2build1 (patches unapplied) Imported using git-ubuntu import. |
ubuntu/lunar | 2023-02-16 22:55:24 UTC |
1.16.0-2build1 (patches unapplied)
Author:
Gianfranco Costamagna
1.16.0-2build1 (patches unapplied) Imported using git-ubuntu import. |
applied/ |
2023-02-16 22:55:24 UTC |
1.16.0-2build1 (patches applied)
Author:
Gianfranco Costamagna
1.16.0-2build1 (patches applied) Imported using git-ubuntu import. |
applied/ |
2023-02-16 22:55:24 UTC |
1.16.0-2build1 (patches applied)
Author:
Gianfranco Costamagna
1.16.0-2build1 (patches applied) Imported using git-ubuntu import. |
applied/ |
2023-02-16 22:55:24 UTC |
1.16.0-2build1 (patches applied)
Author:
Gianfranco Costamagna
1.16.0-2build1 (patches applied) Imported using git-ubuntu import. |
ubuntu/lunar-devel | 2023-02-16 22:55:24 UTC |
1.16.0-2build1 (patches unapplied)
Author:
Gianfranco Costamagna
1.16.0-2build1 (patches unapplied) Imported using git-ubuntu import. |
applied/ |
2023-01-25 10:28:07 UTC |
1.16.0-2 (patches applied)
Author:
Julien Puydt
1.16.0-2 (patches applied) Imported using git-ubuntu import. |
debian/bookworm | 2023-01-25 10:28:07 UTC |
1.16.0-2 (patches unapplied)
Author:
Julien Puydt
1.16.0-2 (patches unapplied) Imported using git-ubuntu import. |
importer/ |
2022-08-26 18:51:35 UTC |
pristine-tar data for coq-elpi_1.14.0.orig.tar.gz
Author:
Ubuntu Git Importer
pristine-tar data for coq-elpi_ |
importer/ |
2022-08-26 18:51:28 UTC |
pristine-tar data for coq-elpi_1.14.0.orig.tar.gz
Author:
Ubuntu Git Importer
pristine-tar data for coq-elpi_ |
ubuntu/ |
2022-07-21 16:05:13 UTC |
1.14.0-5build1 (patches unapplied)
Author:
Gianfranco Costamagna
1.14.0-5build1 (patches unapplied) Imported using git-ubuntu import. |
applied/ |
2022-07-21 16:05:13 UTC |
1.14.0-5build1 (patches applied)
Author:
Gianfranco Costamagna
1.14.0-5build1 (patches applied) Imported using git-ubuntu import. |
ubuntu/ |
2022-07-21 16:05:13 UTC |
1.14.0-5build1 (patches unapplied)
Author:
Gianfranco Costamagna
1.14.0-5build1 (patches unapplied) Imported using git-ubuntu import. |
applied/ |
2022-07-21 16:05:13 UTC |
1.14.0-5build1 (patches applied)
Author:
Gianfranco Costamagna
1.14.0-5build1 (patches applied) Imported using git-ubuntu import. |
applied/ |
2022-07-21 16:05:13 UTC |
1.14.0-5build1 (patches applied)
Author:
Gianfranco Costamagna
1.14.0-5build1 (patches applied) Imported using git-ubuntu import. |
ubuntu/kinetic | 2022-07-21 16:05:13 UTC |
1.14.0-5build1 (patches unapplied)
Author:
Gianfranco Costamagna
1.14.0-5build1 (patches unapplied) Imported using git-ubuntu import. |
applied/ |
2022-02-10 22:32:09 UTC |
1.13.0-1 (patches applied)
Author:
Julien Puydt
1.13.0-1 (patches applied) Imported using git-ubuntu import. |
ubuntu/ |
2022-02-10 22:32:09 UTC |
1.13.0-1 (patches unapplied)
Author:
Julien Puydt
1.13.0-1 (patches unapplied) Imported using git-ubuntu import. |
ubuntu/jammy-devel | 2022-02-10 22:32:09 UTC |
1.13.0-1 (patches unapplied)
Author:
Julien Puydt
1.13.0-1 (patches unapplied) Imported using git-ubuntu import. |
ubuntu/jammy | 2022-02-10 22:32:09 UTC |
1.13.0-1 (patches unapplied)
Author:
Julien Puydt
1.13.0-1 (patches unapplied) Imported using git-ubuntu import. |
applied/ |
2022-02-10 22:32:09 UTC |
1.13.0-1 (patches applied)
Author:
Julien Puydt
1.13.0-1 (patches applied) Imported using git-ubuntu import. |
applied/ |
2022-02-10 22:32:09 UTC |
1.13.0-1 (patches applied)
Author:
Julien Puydt
1.13.0-1 (patches applied) Imported using git-ubuntu import. |
1 → 46 of 46 results | First • Previous • Next • Last |
Other repositories
Name | Last Modified |
---|---|
lp:ubuntu/+source/coq-elpi | 2024-04-30 |
1 → 1 of 1 result | First • Previous • Next • Last |