- Get this repository:
-
git clone
https://git.launchpad.net/ubuntu/+source/haskell-cryptol
Branches
Name | Last Modified | Last Commit |
---|---|---|
importer/ubuntu/dsc | 2024-05-15 12:26:48 UTC |
DSC file for 3.0.0-1build2
Author:
Ubuntu Git Importer
DSC file for 3.0.0-1build2 |
applied/ |
2024-05-15 11:46:15 UTC |
3.0.0-1build2 (patches applied)
Author:
Gianfranco Costamagna
3.0.0-1build2 (patches applied) Imported using git-ubuntu import. |
applied/ |
2024-05-15 11:46:15 UTC |
3.0.0-1build2 (patches applied)
Author:
Gianfranco Costamagna
3.0.0-1build2 (patches applied) Imported using git-ubuntu import. |
applied/ |
2024-05-15 11:46:15 UTC |
3.0.0-1build2 (patches applied)
Author:
Gianfranco Costamagna
3.0.0-1build2 (patches applied) Imported using git-ubuntu import. |
ubuntu/oracular | 2024-05-15 11:46:15 UTC |
3.0.0-1build2 (patches unapplied)
Author:
Gianfranco Costamagna
3.0.0-1build2 (patches unapplied) Imported using git-ubuntu import. |
ubuntu/devel | 2024-05-15 11:46:15 UTC |
3.0.0-1build2 (patches unapplied)
Author:
Gianfranco Costamagna
3.0.0-1build2 (patches unapplied) Imported using git-ubuntu import. |
ubuntu/ |
2024-05-15 11:46:15 UTC |
3.0.0-1build2 (patches unapplied)
Author:
Gianfranco Costamagna
3.0.0-1build2 (patches unapplied) Imported using git-ubuntu import. |
ubuntu/ |
2024-05-15 11:46:15 UTC |
3.0.0-1build2 (patches unapplied)
Author:
Gianfranco Costamagna
3.0.0-1build2 (patches unapplied) Imported using git-ubuntu import. |
applied/ |
2024-05-15 11:46:15 UTC |
3.0.0-1build2 (patches applied)
Author:
Gianfranco Costamagna
3.0.0-1build2 (patches applied) Imported using git-ubuntu import. |
applied/ |
2024-01-09 09:46:12 UTC |
3.0.0-1build1 (patches applied)
Author:
Gianfranco Costamagna
3.0.0-1build1 (patches applied) Imported using git-ubuntu import. |
ubuntu/ |
2024-01-09 09:46:12 UTC |
3.0.0-1build1 (patches unapplied)
Author:
Gianfranco Costamagna
3.0.0-1build1 (patches unapplied) Imported using git-ubuntu import. |
ubuntu/noble-devel | 2024-01-09 09:46:12 UTC |
3.0.0-1build1 (patches unapplied)
Author:
Gianfranco Costamagna
3.0.0-1build1 (patches unapplied) Imported using git-ubuntu import. |
ubuntu/noble | 2024-01-09 09:46:12 UTC |
3.0.0-1build1 (patches unapplied)
Author:
Gianfranco Costamagna
3.0.0-1build1 (patches unapplied) Imported using git-ubuntu import. |
applied/ |
2024-01-09 09:46:12 UTC |
3.0.0-1build1 (patches applied)
Author:
Gianfranco Costamagna
3.0.0-1build1 (patches applied) Imported using git-ubuntu import. |
applied/ |
2024-01-09 09:46:12 UTC |
3.0.0-1build1 (patches applied)
Author:
Gianfranco Costamagna
3.0.0-1build1 (patches applied) Imported using git-ubuntu import. |
importer/debian/dsc | 2023-10-24 16:40:26 UTC |
DSC file for 3.0.0-1
Author:
Ubuntu Git Importer
DSC file for 3.0.0-1 |
debian/sid | 2023-10-24 16:32:43 UTC |
3.0.0-1 (patches unapplied)
Author:
Clint Adams
3.0.0-1 (patches unapplied) Imported using git-ubuntu import. |
applied/debian/sid | 2023-10-24 16:32:43 UTC |
3.0.0-1 (patches applied)
Author:
Clint Adams
3.0.0-1 (patches applied) Imported using git-ubuntu import. |
importer/ |
2022-08-29 21:05:26 UTC |
pristine-tar data for haskell-cryptol_2.8.0.orig.tar.gz
Author:
Ubuntu Git Importer
pristine-tar data for haskell- |
importer/ |
2022-08-29 21:05:21 UTC |
pristine-tar data for haskell-cryptol_2.8.0.orig.tar.gz
Author:
Ubuntu Git Importer
pristine-tar data for haskell- |
applied/ |
2022-08-23 06:37:18 UTC |
2.8.0-1build5.2 (patches applied)
Author:
Steve Langasek
2.8.0-1build5.2 (patches applied) Imported using git-ubuntu import. |
ubuntu/ |
2022-08-23 06:37:18 UTC |
2.8.0-1build5.2 (patches unapplied)
Author:
Steve Langasek
2.8.0-1build5.2 (patches unapplied) Imported using git-ubuntu import. |
ubuntu/ |
2022-08-23 06:37:18 UTC |
2.8.0-1build5.2 (patches unapplied)
Author:
Steve Langasek
2.8.0-1build5.2 (patches unapplied) Imported using git-ubuntu import. |
applied/ |
2022-08-23 06:37:18 UTC |
2.8.0-1build5.2 (patches applied)
Author:
Steve Langasek
2.8.0-1build5.2 (patches applied) Imported using git-ubuntu import. |
applied/ |
2021-09-16 07:07:20 UTC |
2.8.0-1build5.1 (patches applied)
Author:
Matthias Klose
2.8.0-1build5.1 (patches applied) Imported using git-ubuntu import. |
applied/ |
2021-09-16 07:07:20 UTC |
2.8.0-1build5.1 (patches applied)
Author:
Matthias Klose
2.8.0-1build5.1 (patches applied) Imported using git-ubuntu import. |
applied/ |
2021-09-16 07:07:20 UTC |
2.8.0-1build5.1 (patches applied)
Author:
Matthias Klose
2.8.0-1build5.1 (patches applied) Imported using git-ubuntu import. |
applied/ |
2021-09-16 07:07:20 UTC |
2.8.0-1build5.1 (patches applied)
Author:
Matthias Klose
2.8.0-1build5.1 (patches applied) Imported using git-ubuntu import. |
applied/ |
2021-09-16 07:07:20 UTC |
2.8.0-1build5.1 (patches applied)
Author:
Matthias Klose
2.8.0-1build5.1 (patches applied) Imported using git-ubuntu import. |
applied/ |
2021-09-16 07:07:20 UTC |
2.8.0-1build5.1 (patches applied)
Author:
Matthias Klose
2.8.0-1build5.1 (patches applied) Imported using git-ubuntu import. |
ubuntu/impish | 2021-09-16 07:07:20 UTC |
2.8.0-1build5.1 (patches unapplied)
Author:
Matthias Klose
2.8.0-1build5.1 (patches unapplied) Imported using git-ubuntu import. |
ubuntu/impish-devel | 2021-09-16 07:07:20 UTC |
2.8.0-1build5.1 (patches unapplied)
Author:
Matthias Klose
2.8.0-1build5.1 (patches unapplied) Imported using git-ubuntu import. |
ubuntu/ |
2021-09-16 07:07:20 UTC |
2.8.0-1build5.1 (patches unapplied)
Author:
Matthias Klose
2.8.0-1build5.1 (patches unapplied) Imported using git-ubuntu import. |
ubuntu/jammy | 2021-09-16 07:07:20 UTC |
2.8.0-1build5.1 (patches unapplied)
Author:
Matthias Klose
2.8.0-1build5.1 (patches unapplied) Imported using git-ubuntu import. |
ubuntu/jammy-devel | 2021-09-16 07:07:20 UTC |
2.8.0-1build5.1 (patches unapplied)
Author:
Matthias Klose
2.8.0-1build5.1 (patches unapplied) Imported using git-ubuntu import. |
ubuntu/kinetic | 2021-09-16 07:07:20 UTC |
2.8.0-1build5.1 (patches unapplied)
Author:
Matthias Klose
2.8.0-1build5.1 (patches unapplied) Imported using git-ubuntu import. |
ubuntu/ |
2020-10-29 20:23:22 UTC |
2.8.0-1build5 (patches unapplied)
Author:
Steve Langasek
2.8.0-1build5 (patches unapplied) Imported using git-ubuntu import. |
applied/ |
2020-10-29 20:23:22 UTC |
2.8.0-1build5 (patches applied)
Author:
Steve Langasek
2.8.0-1build5 (patches applied) Imported using git-ubuntu import. |
ubuntu/hirsute | 2020-10-29 20:23:22 UTC |
2.8.0-1build5 (patches unapplied)
Author:
Steve Langasek
2.8.0-1build5 (patches unapplied) Imported using git-ubuntu import. |
ubuntu/ |
2020-10-29 20:23:22 UTC |
2.8.0-1build5 (patches unapplied)
Author:
Steve Langasek
2.8.0-1build5 (patches unapplied) Imported using git-ubuntu import. |
applied/ |
2020-10-29 20:23:22 UTC |
2.8.0-1build5 (patches applied)
Author:
Steve Langasek
2.8.0-1build5 (patches applied) Imported using git-ubuntu import. |
applied/ |
2020-10-29 20:23:22 UTC |
2.8.0-1build5 (patches applied)
Author:
Steve Langasek
2.8.0-1build5 (patches applied) Imported using git-ubuntu import. |
ubuntu/groovy-devel | 2020-08-27 00:07:10 UTC |
2.8.0-1build4 (patches unapplied)
Author:
Steve Langasek
2.8.0-1build4 (patches unapplied) Imported using git-ubuntu import. |
applied/ |
2020-08-27 00:07:10 UTC |
2.8.0-1build4 (patches applied)
Author:
Steve Langasek
2.8.0-1build4 (patches applied) Imported using git-ubuntu import. |
applied/ |
2020-08-27 00:07:10 UTC |
2.8.0-1build4 (patches applied)
Author:
Steve Langasek
2.8.0-1build4 (patches applied) Imported using git-ubuntu import. |
ubuntu/ |
2020-08-27 00:07:10 UTC |
2.8.0-1build4 (patches unapplied)
Author:
Steve Langasek
2.8.0-1build4 (patches unapplied) Imported using git-ubuntu import. |
ubuntu/groovy | 2020-08-27 00:07:10 UTC |
2.8.0-1build4 (patches unapplied)
Author:
Steve Langasek
2.8.0-1build4 (patches unapplied) Imported using git-ubuntu import. |
applied/ |
2020-08-27 00:07:10 UTC |
2.8.0-1build4 (patches applied)
Author:
Steve Langasek
2.8.0-1build4 (patches applied) Imported using git-ubuntu import. |
applied/ |
2020-07-11 04:29:48 UTC |
2.8.0-1 (patches applied)
Author:
Clint Adams
2.8.0-1 (patches applied) Imported using git-ubuntu import. |
debian/bullseye | 2020-07-11 04:29:48 UTC |
2.8.0-1 (patches unapplied)
Author:
Clint Adams
2.8.0-1 (patches unapplied) Imported using git-ubuntu import. |
applied/ |
2020-02-08 11:42:34 UTC |
2.6.0-4build2 (patches applied)
Author:
Matthias Klose
2.6.0-4build2 (patches applied) Imported using git-ubuntu import. |
applied/ |
2020-02-08 11:42:34 UTC |
2.6.0-4build2 (patches applied)
Author:
Matthias Klose
2.6.0-4build2 (patches applied) Imported using git-ubuntu import. |
applied/ |
2020-02-08 11:42:34 UTC |
2.6.0-4build2 (patches applied)
Author:
Matthias Klose
2.6.0-4build2 (patches applied) Imported using git-ubuntu import. |
ubuntu/ |
2020-02-08 11:42:34 UTC |
2.6.0-4build2 (patches unapplied)
Author:
Matthias Klose
2.6.0-4build2 (patches unapplied) Imported using git-ubuntu import. |
ubuntu/focal-devel | 2020-02-08 11:42:34 UTC |
2.6.0-4build2 (patches unapplied)
Author:
Matthias Klose
2.6.0-4build2 (patches unapplied) Imported using git-ubuntu import. |
ubuntu/focal | 2020-02-08 11:42:34 UTC |
2.6.0-4build2 (patches unapplied)
Author:
Matthias Klose
2.6.0-4build2 (patches unapplied) Imported using git-ubuntu import. |
ubuntu/ |
2019-08-30 22:33:01 UTC |
2.6.0-4 (patches unapplied)
Author:
Gianfranco Costamagna
2.6.0-4 (patches unapplied) Imported using git-ubuntu import. |
applied/ubuntu/eoan | 2019-08-30 22:33:01 UTC |
2.6.0-4 (patches applied)
Author:
Gianfranco Costamagna
2.6.0-4 (patches applied) Imported using git-ubuntu import. |
applied/ |
2019-08-30 22:33:01 UTC |
2.6.0-4 (patches applied)
Author:
Gianfranco Costamagna
2.6.0-4 (patches applied) Imported using git-ubuntu import. |
applied/ |
2019-08-30 22:33:01 UTC |
2.6.0-4 (patches applied)
Author:
Gianfranco Costamagna
2.6.0-4 (patches applied) Imported using git-ubuntu import. |
ubuntu/eoan-devel | 2019-08-30 22:33:01 UTC |
2.6.0-4 (patches unapplied)
Author:
Gianfranco Costamagna
2.6.0-4 (patches unapplied) Imported using git-ubuntu import. |
ubuntu/eoan | 2019-08-30 22:33:01 UTC |
2.6.0-4 (patches unapplied)
Author:
Gianfranco Costamagna
2.6.0-4 (patches unapplied) Imported using git-ubuntu import. |
applied/ |
2019-03-06 14:15:09 UTC |
2.6.0-3build1 (patches applied)
Author:
Gianfranco Costamagna
2.6.0-3build1 (patches applied) Imported using git-ubuntu import. |
ubuntu/disco | 2019-03-06 14:15:09 UTC |
2.6.0-3build1 (patches unapplied)
Author:
Gianfranco Costamagna
2.6.0-3build1 (patches unapplied) Imported using git-ubuntu import. |
ubuntu/disco-devel | 2019-03-06 14:15:09 UTC |
2.6.0-3build1 (patches unapplied)
Author:
Gianfranco Costamagna
2.6.0-3build1 (patches unapplied) Imported using git-ubuntu import. |
ubuntu/ |
2019-03-06 14:15:09 UTC |
2.6.0-3build1 (patches unapplied)
Author:
Gianfranco Costamagna
2.6.0-3build1 (patches unapplied) Imported using git-ubuntu import. |
applied/ |
2019-03-06 14:15:09 UTC |
2.6.0-3build1 (patches applied)
Author:
Gianfranco Costamagna
2.6.0-3build1 (patches applied) Imported using git-ubuntu import. |
applied/ |
2019-03-06 14:15:09 UTC |
2.6.0-3build1 (patches applied)
Author:
Gianfranco Costamagna
2.6.0-3build1 (patches applied) Imported using git-ubuntu import. |
debian/buster | 2018-11-10 22:31:35 UTC |
2.6.0-3 (patches unapplied)
Author:
Clint Adams
2.6.0-3 (patches unapplied) Imported using git-ubuntu import. |
applied/ |
2018-11-10 22:31:35 UTC |
2.6.0-3 (patches applied)
Author:
Clint Adams
2.6.0-3 (patches applied) Imported using git-ubuntu import. |
applied/ |
2018-07-24 04:49:14 UTC |
2.5.0-1build4 (patches applied)
Author:
Gianfranco Costamagna
2.5.0-1build4 (patches applied) Imported using git-ubuntu import. |
applied/ |
2018-07-24 04:49:14 UTC |
2.5.0-1build4 (patches applied)
Author:
Gianfranco Costamagna
2.5.0-1build4 (patches applied) Imported using git-ubuntu import. |
applied/ |
2018-07-24 04:49:14 UTC |
2.5.0-1build4 (patches applied)
Author:
Gianfranco Costamagna
2.5.0-1build4 (patches applied) Imported using git-ubuntu import. |
ubuntu/ |
2018-07-24 04:49:14 UTC |
2.5.0-1build4 (patches unapplied)
Author:
Gianfranco Costamagna
2.5.0-1build4 (patches unapplied) Imported using git-ubuntu import. |
ubuntu/cosmic-devel | 2018-07-24 04:49:14 UTC |
2.5.0-1build4 (patches unapplied)
Author:
Gianfranco Costamagna
2.5.0-1build4 (patches unapplied) Imported using git-ubuntu import. |
ubuntu/cosmic | 2018-07-24 04:49:14 UTC |
2.5.0-1build4 (patches unapplied)
Author:
Gianfranco Costamagna
2.5.0-1build4 (patches unapplied) Imported using git-ubuntu import. |
ubuntu/ |
2017-11-10 22:32:03 UTC |
2.4.0-3 (patches unapplied)
Author:
Ilias Tsitsimpis
2.4.0-3 (patches unapplied) Imported using git-ubuntu import. |
applied/ |
2017-11-10 22:32:03 UTC |
2.4.0-3 (patches applied)
Author:
Ilias Tsitsimpis
2.4.0-3 (patches applied) Imported using git-ubuntu import. |
applied/ |
2017-11-10 22:32:03 UTC |
2.4.0-3 (patches applied)
Author:
Ilias Tsitsimpis
2.4.0-3 (patches applied) Imported using git-ubuntu import. |
applied/ |
2017-11-10 22:32:03 UTC |
2.4.0-3 (patches applied)
Author:
Ilias Tsitsimpis
2.4.0-3 (patches applied) Imported using git-ubuntu import. |
ubuntu/bionic | 2017-11-10 22:32:03 UTC |
2.4.0-3 (patches unapplied)
Author:
Ilias Tsitsimpis
2.4.0-3 (patches unapplied) Imported using git-ubuntu import. |
ubuntu/bionic-devel | 2017-11-10 22:32:03 UTC |
2.4.0-3 (patches unapplied)
Author:
Ilias Tsitsimpis
2.4.0-3 (patches unapplied) Imported using git-ubuntu import. |
applied/ |
2017-07-19 17:21:20 UTC |
2.4.0-2build6 (patches applied)
Author:
Gianfranco Costamagna
2.4.0-2build6 (patches applied) Imported using git-ubuntu import. |
ubuntu/artful-devel | 2017-07-19 17:21:20 UTC |
2.4.0-2build6 (patches unapplied)
Author:
Gianfranco Costamagna
2.4.0-2build6 (patches unapplied) Imported using git-ubuntu import. |
ubuntu/ |
2017-07-19 17:21:20 UTC |
2.4.0-2build6 (patches unapplied)
Author:
Gianfranco Costamagna
2.4.0-2build6 (patches unapplied) Imported using git-ubuntu import. |
ubuntu/artful | 2017-07-19 17:21:20 UTC |
2.4.0-2build6 (patches unapplied)
Author:
Gianfranco Costamagna
2.4.0-2build6 (patches unapplied) Imported using git-ubuntu import. |
applied/ |
2017-07-19 17:21:20 UTC |
2.4.0-2build6 (patches applied)
Author:
Gianfranco Costamagna
2.4.0-2build6 (patches applied) Imported using git-ubuntu import. |
applied/ |
2017-07-19 17:21:20 UTC |
2.4.0-2build6 (patches applied)
Author:
Gianfranco Costamagna
2.4.0-2build6 (patches applied) Imported using git-ubuntu import. |
applied/ |
2017-01-27 11:21:10 UTC |
2.4.0-2build2 (patches applied)
Author:
Gianfranco Costamagna
2.4.0-2build2 (patches applied) Imported using git-ubuntu import. |
applied/ |
2017-01-27 11:21:10 UTC |
2.4.0-2build2 (patches applied)
Author:
Gianfranco Costamagna
2.4.0-2build2 (patches applied) Imported using git-ubuntu import. |
applied/ |
2017-01-27 11:21:10 UTC |
2.4.0-2build2 (patches applied)
Author:
Gianfranco Costamagna
2.4.0-2build2 (patches applied) Imported using git-ubuntu import. |
ubuntu/ |
2017-01-27 11:21:10 UTC |
2.4.0-2build2 (patches unapplied)
Author:
Gianfranco Costamagna
2.4.0-2build2 (patches unapplied) Imported using git-ubuntu import. |
ubuntu/zesty | 2017-01-27 11:21:10 UTC |
2.4.0-2build2 (patches unapplied)
Author:
Gianfranco Costamagna
2.4.0-2build2 (patches unapplied) Imported using git-ubuntu import. |
ubuntu/zesty-devel | 2017-01-27 11:21:10 UTC |
2.4.0-2build2 (patches unapplied)
Author:
Gianfranco Costamagna
2.4.0-2build2 (patches unapplied) Imported using git-ubuntu import. |
applied/ |
2016-10-28 10:19:39 UTC |
2.4.0-2 (patches applied)
Author:
Clint Adams
2.4.0-2 (patches applied) Imported using git-ubuntu import. |
debian/stretch | 2016-10-28 10:19:39 UTC |
2.4.0-2 (patches unapplied)
Author:
Clint Adams
2.4.0-2 (patches unapplied) Imported using git-ubuntu import. |
debian/experimental | 2016-10-18 04:10:47 UTC |
2.4.0-1 (patches unapplied)
Author:
Clint Adams
2.4.0-1 (patches unapplied) Imported using git-ubuntu import. |
applied/ |
2016-10-18 04:10:47 UTC |
2.4.0-1 (patches applied)
Author:
Clint Adams
2.4.0-1 (patches applied) Imported using git-ubuntu import. |
applied/ |
2016-06-29 09:17:12 UTC |
2.3.0-1build1 (patches applied)
Author:
Colin Watson
2.3.0-1build1 (patches applied) Imported using git-ubuntu import. |
ubuntu/yakkety | 2016-06-29 09:17:12 UTC |
2.3.0-1build1 (patches unapplied)
Author:
Colin Watson
2.3.0-1build1 (patches unapplied) Imported using git-ubuntu import. |
1 → 100 of 110 results | First • Previous • Next • Last |
Other repositories
Name | Last Modified |
---|---|
lp:ubuntu/+source/haskell-cryptol | 2024-05-22 |
1 → 1 of 1 result | First • Previous • Next • Last |