Ubuntu
why3 package

Get this repository:
git clone https://git.launchpad.net/ubuntu/+source/why3
Members of git-ubuntu import can upload to this repository. Log in for directions.

See all merge proposals.

Branches

Name Last Modified Last Commit
importer/ubuntu/dsc 2024-04-01 08:10:55 UTC
DSC file for 1.6.0-1build7

Author: Ubuntu Git Importer
Author Date: 2024-04-01 08:10:55 UTC

DSC file for 1.6.0-1build7
ubuntu/oracular 2024-04-01 04:42:53 UTC
1.6.0-1build7 (patches unapplied)

Author: William Grant
Author Date: 2024-04-01 04:40:35 UTC

1.6.0-1build7 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/oracular-devel 2024-04-01 04:42:53 UTC
1.6.0-1build7 (patches unapplied)

Author: William Grant
Author Date: 2024-04-01 04:40:35 UTC

1.6.0-1build7 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/oracular-devel 2024-04-01 04:42:53 UTC
1.6.0-1build7 (patches applied)

Author: William Grant
Author Date: 2024-04-01 04:40:35 UTC

1.6.0-1build7 (patches applied)

Imported using git-ubuntu import.
ubuntu/noble-proposed 2024-04-01 04:42:53 UTC
1.6.0-1build7 (patches unapplied)

Author: William Grant
Author Date: 2024-04-01 04:40:35 UTC

1.6.0-1build7 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/noble-devel 2024-04-01 04:42:53 UTC
1.6.0-1build7 (patches unapplied)

Author: William Grant
Author Date: 2024-04-01 04:40:35 UTC

1.6.0-1build7 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/noble 2024-04-01 04:42:53 UTC
1.6.0-1build7 (patches unapplied)

Author: William Grant
Author Date: 2024-04-01 04:40:35 UTC

1.6.0-1build7 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/noble-proposed 2024-04-01 04:42:53 UTC
1.6.0-1build7 (patches applied)

Author: William Grant
Author Date: 2024-04-01 04:40:35 UTC

1.6.0-1build7 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/oracular 2024-04-01 04:42:53 UTC
1.6.0-1build7 (patches applied)

Author: William Grant
Author Date: 2024-04-01 04:40:35 UTC

1.6.0-1build7 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/noble 2024-04-01 04:42:53 UTC
1.6.0-1build7 (patches applied)

Author: William Grant
Author Date: 2024-04-01 04:40:35 UTC

1.6.0-1build7 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/devel 2024-04-01 04:42:53 UTC
1.6.0-1build7 (patches applied)

Author: William Grant
Author Date: 2024-04-01 04:40:35 UTC

1.6.0-1build7 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/noble-devel 2024-04-01 04:42:53 UTC
1.6.0-1build7 (patches applied)

Author: William Grant
Author Date: 2024-04-01 04:40:35 UTC

1.6.0-1build7 (patches applied)

Imported using git-ubuntu import.
ubuntu/devel 2024-04-01 04:42:53 UTC
1.6.0-1build7 (patches unapplied)

Author: William Grant
Author Date: 2024-04-01 04:40:35 UTC

1.6.0-1build7 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/noble-updates 2024-02-22 07:37:08 UTC
1.6.0-1build4 (patches unapplied)

Author: Gianfranco Costamagna
Author Date: 2024-02-22 07:36:24 UTC

1.6.0-1build4 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/noble-updates 2024-02-22 07:37:08 UTC
1.6.0-1build4 (patches applied)

Author: Gianfranco Costamagna
Author Date: 2024-02-22 07:36:24 UTC

1.6.0-1build4 (patches applied)

Imported using git-ubuntu import.
importer/debian/dsc 2023-09-08 10:44:35 UTC
DSC file for 1.6.0-1

Author: Ubuntu Git Importer
Author Date: 2023-09-08 10:44:35 UTC

DSC file for 1.6.0-1
debian/sid 2023-09-08 10:43:29 UTC
1.6.0-1 (patches unapplied)

Author: Stéphane Glondu
Author Date: 2023-09-08 05:09:51 UTC

1.6.0-1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/mantic-proposed 2023-09-08 10:43:29 UTC
1.6.0-1 (patches unapplied)

Author: Stéphane Glondu
Author Date: 2023-09-08 05:09:51 UTC

1.6.0-1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/mantic-devel 2023-09-08 10:43:29 UTC
1.6.0-1 (patches unapplied)

Author: Stéphane Glondu
Author Date: 2023-09-08 05:09:51 UTC

1.6.0-1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/mantic 2023-09-08 10:43:29 UTC
1.6.0-1 (patches unapplied)

Author: Stéphane Glondu
Author Date: 2023-09-08 05:09:51 UTC

1.6.0-1 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/mantic 2023-09-08 10:43:29 UTC
1.6.0-1 (patches applied)

Author: Stéphane Glondu
Author Date: 2023-09-08 05:09:51 UTC

1.6.0-1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/mantic-devel 2023-09-08 10:43:29 UTC
1.6.0-1 (patches applied)

Author: Stéphane Glondu
Author Date: 2023-09-08 05:09:51 UTC

1.6.0-1 (patches applied)

Imported using git-ubuntu import.
applied/debian/sid 2023-09-08 10:43:29 UTC
1.6.0-1 (patches applied)

Author: Stéphane Glondu
Author Date: 2023-09-08 05:09:51 UTC

1.6.0-1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/mantic-proposed 2023-09-08 10:43:29 UTC
1.6.0-1 (patches applied)

Author: Stéphane Glondu
Author Date: 2023-09-08 05:09:51 UTC

1.6.0-1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/lunar-devel 2023-02-19 08:36:09 UTC
1.5.1-1build3 (patches applied)

Author: Gianfranco Costamagna
Author Date: 2023-02-19 08:35:24 UTC

1.5.1-1build3 (patches applied)

Imported using git-ubuntu import.
ubuntu/lunar-proposed 2023-02-19 08:36:09 UTC
1.5.1-1build3 (patches unapplied)

Author: Gianfranco Costamagna
Author Date: 2023-02-19 08:35:24 UTC

1.5.1-1build3 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/lunar-devel 2023-02-19 08:36:09 UTC
1.5.1-1build3 (patches unapplied)

Author: Gianfranco Costamagna
Author Date: 2023-02-19 08:35:24 UTC

1.5.1-1build3 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/lunar 2023-02-19 08:36:09 UTC
1.5.1-1build3 (patches unapplied)

Author: Gianfranco Costamagna
Author Date: 2023-02-19 08:35:24 UTC

1.5.1-1build3 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/lunar 2023-02-19 08:36:09 UTC
1.5.1-1build3 (patches applied)

Author: Gianfranco Costamagna
Author Date: 2023-02-19 08:35:24 UTC

1.5.1-1build3 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/lunar-proposed 2023-02-19 08:36:09 UTC
1.5.1-1build3 (patches applied)

Author: Gianfranco Costamagna
Author Date: 2023-02-19 08:35:24 UTC

1.5.1-1build3 (patches applied)

Imported using git-ubuntu import.
applied/debian/bookworm 2022-10-20 04:39:44 UTC
1.5.1-1 (patches applied)

Author: Ralf Treinen
Author Date: 2022-10-19 01:37:35 UTC

1.5.1-1 (patches applied)

Imported using git-ubuntu import.
debian/bookworm 2022-10-20 04:39:44 UTC
1.5.1-1 (patches unapplied)

Author: Ralf Treinen
Author Date: 2022-10-19 01:37:35 UTC

1.5.1-1 (patches unapplied)

Imported using git-ubuntu import.
importer/ubuntu/pristine-tar 2022-09-06 21:20:27 UTC
pristine-tar data for why3_1.5.0.orig.tar.gz

Author: Ubuntu Git Importer
Author Date: 2022-09-06 21:20:27 UTC

pristine-tar data for why3_1.5.0.orig.tar.gz
importer/debian/pristine-tar 2022-09-06 21:19:08 UTC
pristine-tar data for why3_1.5.0.orig.tar.gz

Author: Ubuntu Git Importer
Author Date: 2022-09-06 21:19:08 UTC

pristine-tar data for why3_1.5.0.orig.tar.gz
applied/ubuntu/kinetic 2022-05-14 05:25:20 UTC
1.5.0-1build1 (patches applied)

Author: Gianfranco Costamagna
Author Date: 2022-05-14 05:24:40 UTC

1.5.0-1build1 (patches applied)

Imported using git-ubuntu import.
ubuntu/kinetic-proposed 2022-05-14 05:25:20 UTC
1.5.0-1build1 (patches unapplied)

Author: Gianfranco Costamagna
Author Date: 2022-05-14 05:24:40 UTC

1.5.0-1build1 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/kinetic-devel 2022-05-14 05:25:20 UTC
1.5.0-1build1 (patches applied)

Author: Gianfranco Costamagna
Author Date: 2022-05-14 05:24:40 UTC

1.5.0-1build1 (patches applied)

Imported using git-ubuntu import.
ubuntu/kinetic 2022-05-14 05:25:20 UTC
1.5.0-1build1 (patches unapplied)

Author: Gianfranco Costamagna
Author Date: 2022-05-14 05:24:40 UTC

1.5.0-1build1 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/kinetic-proposed 2022-05-14 05:25:20 UTC
1.5.0-1build1 (patches applied)

Author: Gianfranco Costamagna
Author Date: 2022-05-14 05:24:40 UTC

1.5.0-1build1 (patches applied)

Imported using git-ubuntu import.
ubuntu/kinetic-devel 2022-05-14 05:25:20 UTC
1.5.0-1build1 (patches unapplied)

Author: Gianfranco Costamagna
Author Date: 2022-05-14 05:24:40 UTC

1.5.0-1build1 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/jammy-devel 2022-01-26 11:57:06 UTC
1.4.0-3build1 (patches applied)

Author: Matthias Klose
Author Date: 2022-01-26 09:37:01 UTC

1.4.0-3build1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/jammy-proposed 2022-01-26 11:57:06 UTC
1.4.0-3build1 (patches applied)

Author: Matthias Klose
Author Date: 2022-01-26 09:37:01 UTC

1.4.0-3build1 (patches applied)

Imported using git-ubuntu import.
ubuntu/jammy-devel 2022-01-26 11:57:06 UTC
1.4.0-3build1 (patches unapplied)

Author: Matthias Klose
Author Date: 2022-01-26 09:37:01 UTC

1.4.0-3build1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/jammy-proposed 2022-01-26 11:57:06 UTC
1.4.0-3build1 (patches unapplied)

Author: Matthias Klose
Author Date: 2022-01-26 09:37:01 UTC

1.4.0-3build1 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/jammy 2021-12-11 16:39:28 UTC
1.4.0-3 (patches applied)

Author: Ralf Treinen
Author Date: 2021-12-11 10:37:13 UTC

1.4.0-3 (patches applied)

Imported using git-ubuntu import.
ubuntu/jammy 2021-12-11 16:39:28 UTC
1.4.0-3 (patches unapplied)

Author: Ralf Treinen
Author Date: 2021-12-11 10:37:13 UTC

1.4.0-3 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/hirsute 2021-01-18 12:09:11 UTC
1.3.3-1build5 (patches applied)

Author: Matthias Klose
Author Date: 2021-01-18 12:08:00 UTC

1.3.3-1build5 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/hirsute-devel 2021-01-18 12:09:11 UTC
1.3.3-1build5 (patches applied)

Author: Matthias Klose
Author Date: 2021-01-18 12:08:00 UTC

1.3.3-1build5 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/hirsute-proposed 2021-01-18 12:09:11 UTC
1.3.3-1build5 (patches applied)

Author: Matthias Klose
Author Date: 2021-01-18 12:08:00 UTC

1.3.3-1build5 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/impish 2021-01-18 12:09:11 UTC
1.3.3-1build5 (patches applied)

Author: Matthias Klose
Author Date: 2021-01-18 12:08:00 UTC

1.3.3-1build5 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/impish-devel 2021-01-18 12:09:11 UTC
1.3.3-1build5 (patches applied)

Author: Matthias Klose
Author Date: 2021-01-18 12:08:00 UTC

1.3.3-1build5 (patches applied)

Imported using git-ubuntu import.
ubuntu/hirsute 2021-01-18 12:09:11 UTC
1.3.3-1build5 (patches unapplied)

Author: Matthias Klose
Author Date: 2021-01-18 12:08:00 UTC

1.3.3-1build5 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/hirsute-devel 2021-01-18 12:09:11 UTC
1.3.3-1build5 (patches unapplied)

Author: Matthias Klose
Author Date: 2021-01-18 12:08:00 UTC

1.3.3-1build5 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/hirsute-proposed 2021-01-18 12:09:11 UTC
1.3.3-1build5 (patches unapplied)

Author: Matthias Klose
Author Date: 2021-01-18 12:08:00 UTC

1.3.3-1build5 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/impish 2021-01-18 12:09:11 UTC
1.3.3-1build5 (patches unapplied)

Author: Matthias Klose
Author Date: 2021-01-18 12:08:00 UTC

1.3.3-1build5 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/impish-devel 2021-01-18 12:09:11 UTC
1.3.3-1build5 (patches unapplied)

Author: Matthias Klose
Author Date: 2021-01-18 12:08:00 UTC

1.3.3-1build5 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/groovy-proposed 2020-10-05 12:40:07 UTC
1.3.3-1build1 (patches applied)

Author: Gianfranco Costamagna
Author Date: 2020-10-05 12:38:18 UTC

1.3.3-1build1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/groovy 2020-10-05 12:40:07 UTC
1.3.3-1build1 (patches applied)

Author: Gianfranco Costamagna
Author Date: 2020-10-05 12:38:18 UTC

1.3.3-1build1 (patches applied)

Imported using git-ubuntu import.
ubuntu/groovy-proposed 2020-10-05 12:40:07 UTC
1.3.3-1build1 (patches unapplied)

Author: Gianfranco Costamagna
Author Date: 2020-10-05 12:38:18 UTC

1.3.3-1build1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/groovy 2020-10-05 12:40:07 UTC
1.3.3-1build1 (patches unapplied)

Author: Gianfranco Costamagna
Author Date: 2020-10-05 12:38:18 UTC

1.3.3-1build1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/groovy-devel 2020-10-05 12:40:07 UTC
1.3.3-1build1 (patches unapplied)

Author: Gianfranco Costamagna
Author Date: 2020-10-05 12:38:18 UTC

1.3.3-1build1 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/groovy-devel 2020-10-05 12:40:07 UTC
1.3.3-1build1 (patches applied)

Author: Gianfranco Costamagna
Author Date: 2020-10-05 12:38:18 UTC

1.3.3-1build1 (patches applied)

Imported using git-ubuntu import.
debian/bullseye 2020-09-24 04:38:00 UTC
1.3.3-1 (patches unapplied)

Author: Ralf Treinen
Author Date: 2020-09-23 19:23:15 UTC

1.3.3-1 (patches unapplied)

Imported using git-ubuntu import.
applied/debian/bullseye 2020-09-24 04:38:00 UTC
1.3.3-1 (patches applied)

Author: Ralf Treinen
Author Date: 2020-09-23 19:23:15 UTC

1.3.3-1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/focal-proposed 2020-03-09 04:43:42 UTC
1.2.1-6 (patches applied)

Author: Ralf Treinen
Author Date: 2020-03-08 19:36:59 UTC

1.2.1-6 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/focal-devel 2020-03-09 04:43:42 UTC
1.2.1-6 (patches applied)

Author: Ralf Treinen
Author Date: 2020-03-08 19:36:59 UTC

1.2.1-6 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/focal 2020-03-09 04:43:42 UTC
1.2.1-6 (patches applied)

Author: Ralf Treinen
Author Date: 2020-03-08 19:36:59 UTC

1.2.1-6 (patches applied)

Imported using git-ubuntu import.
ubuntu/focal 2020-03-09 04:43:42 UTC
1.2.1-6 (patches unapplied)

Author: Ralf Treinen
Author Date: 2020-03-08 19:36:59 UTC

1.2.1-6 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/focal-devel 2020-03-09 04:43:42 UTC
1.2.1-6 (patches unapplied)

Author: Ralf Treinen
Author Date: 2020-03-08 19:36:59 UTC

1.2.1-6 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/focal-proposed 2020-03-09 04:43:42 UTC
1.2.1-6 (patches unapplied)

Author: Ralf Treinen
Author Date: 2020-03-08 19:36:59 UTC

1.2.1-6 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/eoan-proposed 2019-10-16 08:33:04 UTC
1.2.0-3ubuntu1 (patches applied)

Author: Gianfranco Costamagna
Author Date: 2019-10-16 08:30:48 UTC

1.2.0-3ubuntu1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/eoan-devel 2019-10-16 08:33:04 UTC
1.2.0-3ubuntu1 (patches applied)

Author: Gianfranco Costamagna
Author Date: 2019-10-16 08:30:48 UTC

1.2.0-3ubuntu1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/eoan 2019-10-16 08:33:04 UTC
1.2.0-3ubuntu1 (patches applied)

Author: Gianfranco Costamagna
Author Date: 2019-10-16 08:30:48 UTC

1.2.0-3ubuntu1 (patches applied)

Imported using git-ubuntu import.
ubuntu/eoan-proposed 2019-10-16 08:33:04 UTC
1.2.0-3ubuntu1 (patches unapplied)

Author: Gianfranco Costamagna
Author Date: 2019-10-16 08:30:48 UTC

1.2.0-3ubuntu1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/eoan 2019-10-16 08:33:04 UTC
1.2.0-3ubuntu1 (patches unapplied)

Author: Gianfranco Costamagna
Author Date: 2019-10-16 08:30:48 UTC

1.2.0-3ubuntu1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/eoan-devel 2019-10-16 08:33:04 UTC
1.2.0-3ubuntu1 (patches unapplied)

Author: Gianfranco Costamagna
Author Date: 2019-10-16 08:30:48 UTC

1.2.0-3ubuntu1 (patches unapplied)

Imported using git-ubuntu import.
applied/debian/buster 2019-02-16 04:39:39 UTC
1.2.0-1 (patches applied)

Author: Ralf Treinen
Author Date: 2019-02-15 07:19:55 UTC

1.2.0-1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/disco-devel 2019-02-16 04:39:39 UTC
1.2.0-1 (patches applied)

Author: Ralf Treinen
Author Date: 2019-02-15 07:19:55 UTC

1.2.0-1 (patches applied)

Imported using git-ubuntu import.
debian/buster 2019-02-16 04:39:39 UTC
1.2.0-1 (patches unapplied)

Author: Ralf Treinen
Author Date: 2019-02-15 07:19:55 UTC

1.2.0-1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/disco-devel 2019-02-16 04:39:39 UTC
1.2.0-1 (patches unapplied)

Author: Ralf Treinen
Author Date: 2019-02-15 07:19:55 UTC

1.2.0-1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/disco-proposed 2019-02-16 04:39:39 UTC
1.2.0-1 (patches unapplied)

Author: Ralf Treinen
Author Date: 2019-02-15 07:19:55 UTC

1.2.0-1 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/disco-proposed 2019-02-16 04:39:39 UTC
1.2.0-1 (patches applied)

Author: Ralf Treinen
Author Date: 2019-02-15 07:19:55 UTC

1.2.0-1 (patches applied)

Imported using git-ubuntu import.
ubuntu/cosmic-devel 2018-08-17 08:02:09 UTC
1.0.0-2.1~build1 (patches unapplied)

Author: Gianfranco Costamagna
Author Date: 2018-08-17 08:01:00 UTC

1.0.0-2.1~build1 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/cosmic-proposed 2018-08-17 08:02:09 UTC
1.0.0-2.1~build1 (patches applied)

Author: Gianfranco Costamagna
Author Date: 2018-08-17 08:01:00 UTC

1.0.0-2.1~build1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/cosmic-devel 2018-08-17 08:02:09 UTC
1.0.0-2.1~build1 (patches applied)

Author: Gianfranco Costamagna
Author Date: 2018-08-17 08:01:00 UTC

1.0.0-2.1~build1 (patches applied)

Imported using git-ubuntu import.
ubuntu/cosmic-proposed 2018-08-17 08:02:09 UTC
1.0.0-2.1~build1 (patches unapplied)

Author: Gianfranco Costamagna
Author Date: 2018-08-17 08:01:00 UTC

1.0.0-2.1~build1 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/disco 2018-06-04 14:02:09 UTC
0.88.3-3ubuntu1 (patches applied)

Author: Gianfranco Costamagna
Author Date: 2018-06-04 14:01:06 UTC

0.88.3-3ubuntu1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/cosmic 2018-06-04 14:02:09 UTC
0.88.3-3ubuntu1 (patches applied)

Author: Gianfranco Costamagna
Author Date: 2018-06-04 14:01:06 UTC

0.88.3-3ubuntu1 (patches applied)

Imported using git-ubuntu import.
ubuntu/cosmic 2018-06-04 14:02:09 UTC
0.88.3-3ubuntu1 (patches unapplied)

Author: Gianfranco Costamagna
Author Date: 2018-06-04 14:01:06 UTC

0.88.3-3ubuntu1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/disco 2018-06-04 14:02:09 UTC
0.88.3-3ubuntu1 (patches unapplied)

Author: Gianfranco Costamagna
Author Date: 2018-06-04 14:01:06 UTC

0.88.3-3ubuntu1 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/bionic-devel 2018-04-07 01:34:03 UTC
0.88.3-1ubuntu4 (patches applied)

Author: Steve Langasek
Author Date: 2018-04-07 01:32:36 UTC

0.88.3-1ubuntu4 (patches applied)

Imported using git-ubuntu import.
ubuntu/bionic 2018-04-07 01:34:03 UTC
0.88.3-1ubuntu4 (patches unapplied)

Author: Steve Langasek
Author Date: 2018-04-07 01:32:36 UTC

0.88.3-1ubuntu4 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/bionic-devel 2018-04-07 01:34:03 UTC
0.88.3-1ubuntu4 (patches unapplied)

Author: Steve Langasek
Author Date: 2018-04-07 01:32:36 UTC

0.88.3-1ubuntu4 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/bionic-proposed 2018-04-07 01:34:03 UTC
0.88.3-1ubuntu4 (patches unapplied)

Author: Steve Langasek
Author Date: 2018-04-07 01:32:36 UTC

0.88.3-1ubuntu4 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/bionic-proposed 2018-04-07 01:34:03 UTC
0.88.3-1ubuntu4 (patches applied)

Author: Steve Langasek
Author Date: 2018-04-07 01:32:36 UTC

0.88.3-1ubuntu4 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/bionic 2018-04-07 01:34:03 UTC
0.88.3-1ubuntu4 (patches applied)

Author: Steve Langasek
Author Date: 2018-04-07 01:32:36 UTC

0.88.3-1ubuntu4 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/artful 2017-09-18 20:14:11 UTC
0.87.3-2ubuntu3 (patches applied)

Author: Matthias Klose
Author Date: 2017-09-18 20:11:33 UTC

0.87.3-2ubuntu3 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/artful-devel 2017-09-18 20:14:11 UTC
0.87.3-2ubuntu3 (patches applied)

Author: Matthias Klose
Author Date: 2017-09-18 20:11:33 UTC

0.87.3-2ubuntu3 (patches applied)

Imported using git-ubuntu import.
ubuntu/artful-proposed 2017-09-18 20:14:11 UTC
0.87.3-2ubuntu3 (patches unapplied)

Author: Matthias Klose
Author Date: 2017-09-18 20:11:33 UTC

0.87.3-2ubuntu3 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/artful-proposed 2017-09-18 20:14:11 UTC
0.87.3-2ubuntu3 (patches applied)

Author: Matthias Klose
Author Date: 2017-09-18 20:11:33 UTC

0.87.3-2ubuntu3 (patches applied)

Imported using git-ubuntu import.
1 → 100 of 118 results First • Previous • • Last

Other repositories

Name Last Modified
lp:ubuntu/+source/why3 2024-05-05
1 → 1 of 1 result First • Previous • Next • Last
You can't create new repositories for why3 in Ubuntu.