Git : Code : frama-c package : Ubuntu

Ubuntu
frama-c package

View Bazaar branches

Get this repository:: git clone https://git.launchpad.net/ubuntu/+source/frama-c

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-03-31 06:25:13 UTC 2024-03-31	DSC file for 20220511-manganese-5build7 Author: Ubuntu Git Importer Author Date: 2024-03-31 06:25:13 UTC DSC file for 20220511-manganese-5build7
ubuntu/devel	2024-03-31 05:19:11 UTC 2024-03-31	20220511-manganese-5build7 (patches unapplied) Author: Steve Langasek Author Date: 2024-03-31 05:18:58 UTC 20220511-manganese-5build7 (patches unapplied) Imported using git-ubuntu import.
applied/ubuntu/noble-devel	2024-03-31 05:19:11 UTC 2024-03-31	20220511-manganese-5build7 (patches applied) Author: Steve Langasek Author Date: 2024-03-31 05:18:58 UTC 20220511-manganese-5build7 (patches applied) Imported using git-ubuntu import.
ubuntu/noble	2024-03-31 05:19:11 UTC 2024-03-31	20220511-manganese-5build7 (patches unapplied) Author: Steve Langasek Author Date: 2024-03-31 05:18:58 UTC 20220511-manganese-5build7 (patches unapplied) Imported using git-ubuntu import.
applied/ubuntu/noble	2024-03-31 05:19:11 UTC 2024-03-31	20220511-manganese-5build7 (patches applied) Author: Steve Langasek Author Date: 2024-03-31 05:18:58 UTC 20220511-manganese-5build7 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/noble-proposed	2024-03-31 05:19:11 UTC 2024-03-31	20220511-manganese-5build7 (patches applied) Author: Steve Langasek Author Date: 2024-03-31 05:18:58 UTC 20220511-manganese-5build7 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/devel	2024-03-31 05:19:11 UTC 2024-03-31	20220511-manganese-5build7 (patches applied) Author: Steve Langasek Author Date: 2024-03-31 05:18:58 UTC 20220511-manganese-5build7 (patches applied) Imported using git-ubuntu import.
ubuntu/noble-proposed	2024-03-31 05:19:11 UTC 2024-03-31	20220511-manganese-5build7 (patches unapplied) Author: Steve Langasek Author Date: 2024-03-31 05:18:58 UTC 20220511-manganese-5build7 (patches unapplied) Imported using git-ubuntu import.
ubuntu/noble-devel	2024-03-31 05:19:11 UTC 2024-03-31	20220511-manganese-5build7 (patches unapplied) Author: Steve Langasek Author Date: 2024-03-31 05:18:58 UTC 20220511-manganese-5build7 (patches unapplied) Imported using git-ubuntu import.
ubuntu/noble-updates	2024-02-22 07:37:12 UTC 2024-02-22	20220511-manganese-5build5 (patches unapplied) Author: Gianfranco Costamagna Author Date: 2024-02-22 07:36:38 UTC 20220511-manganese-5build5 (patches unapplied) Imported using git-ubuntu import.
applied/ubuntu/noble-updates	2024-02-22 07:37:12 UTC 2024-02-22	20220511-manganese-5build5 (patches applied) Author: Gianfranco Costamagna Author Date: 2024-02-22 07:36:38 UTC 20220511-manganese-5build5 (patches applied) Imported using git-ubuntu import.
importer/debian/dsc	2023-09-09 10:30:40 UTC 2023-09-09	DSC file for 20220511-manganese-5 Author: Ubuntu Git Importer Author Date: 2023-09-09 10:30:40 UTC DSC file for 20220511-manganese-5
applied/ubuntu/mantic	2023-09-09 10:27:56 UTC 2023-09-09	20220511-manganese-5 (patches applied) Author: Stéphane Glondu Author Date: 2023-09-09 06:26:56 UTC 20220511-manganese-5 (patches applied) Imported using git-ubuntu import.
debian/sid	2023-09-09 10:27:56 UTC 2023-09-09	20220511-manganese-5 (patches unapplied) Author: Stéphane Glondu Author Date: 2023-09-09 06:26:56 UTC 20220511-manganese-5 (patches unapplied) Imported using git-ubuntu import.
ubuntu/mantic-proposed	2023-09-09 10:27:56 UTC 2023-09-09	20220511-manganese-5 (patches unapplied) Author: Stéphane Glondu Author Date: 2023-09-09 06:26:56 UTC 20220511-manganese-5 (patches unapplied) Imported using git-ubuntu import.
ubuntu/mantic-devel	2023-09-09 10:27:56 UTC 2023-09-09	20220511-manganese-5 (patches unapplied) Author: Stéphane Glondu Author Date: 2023-09-09 06:26:56 UTC 20220511-manganese-5 (patches unapplied) Imported using git-ubuntu import.
ubuntu/mantic	2023-09-09 10:27:56 UTC 2023-09-09	20220511-manganese-5 (patches unapplied) Author: Stéphane Glondu Author Date: 2023-09-09 06:26:56 UTC 20220511-manganese-5 (patches unapplied) Imported using git-ubuntu import.
applied/debian/sid	2023-09-09 10:27:56 UTC 2023-09-09	20220511-manganese-5 (patches applied) Author: Stéphane Glondu Author Date: 2023-09-09 06:26:56 UTC 20220511-manganese-5 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/mantic-proposed	2023-09-09 10:27:56 UTC 2023-09-09	20220511-manganese-5 (patches applied) Author: Stéphane Glondu Author Date: 2023-09-09 06:26:56 UTC 20220511-manganese-5 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/mantic-devel	2023-09-09 10:27:56 UTC 2023-09-09	20220511-manganese-5 (patches applied) Author: Stéphane Glondu Author Date: 2023-09-09 06:26:56 UTC 20220511-manganese-5 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/lunar-devel	2023-02-19 16:29:09 UTC 2023-02-19	20220511-manganese-3build3 (patches applied) Author: Gianfranco Costamagna Author Date: 2023-02-19 16:28:39 UTC 20220511-manganese-3build3 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/lunar	2023-02-19 16:29:09 UTC 2023-02-19	20220511-manganese-3build3 (patches applied) Author: Gianfranco Costamagna Author Date: 2023-02-19 16:28:39 UTC 20220511-manganese-3build3 (patches applied) Imported using git-ubuntu import.
ubuntu/lunar-devel	2023-02-19 16:29:09 UTC 2023-02-19	20220511-manganese-3build3 (patches unapplied) Author: Gianfranco Costamagna Author Date: 2023-02-19 16:28:39 UTC 20220511-manganese-3build3 (patches unapplied) Imported using git-ubuntu import.
ubuntu/lunar-proposed	2023-02-19 16:29:09 UTC 2023-02-19	20220511-manganese-3build3 (patches unapplied) Author: Gianfranco Costamagna Author Date: 2023-02-19 16:28:39 UTC 20220511-manganese-3build3 (patches unapplied) Imported using git-ubuntu import.
applied/ubuntu/lunar-proposed	2023-02-19 16:29:09 UTC 2023-02-19	20220511-manganese-3build3 (patches applied) Author: Gianfranco Costamagna Author Date: 2023-02-19 16:28:39 UTC 20220511-manganese-3build3 (patches applied) Imported using git-ubuntu import.
ubuntu/lunar	2023-02-19 16:29:09 UTC 2023-02-19	20220511-manganese-3build3 (patches unapplied) Author: Gianfranco Costamagna Author Date: 2023-02-19 16:28:39 UTC 20220511-manganese-3build3 (patches unapplied) Imported using git-ubuntu import.
applied/debian/bookworm	2022-12-28 04:30:21 UTC 2022-12-28	20220511-manganese-3 (patches applied) Author: Ralf Treinen Author Date: 2022-12-27 20:00:26 UTC 20220511-manganese-3 (patches applied) Imported using git-ubuntu import.
debian/bookworm	2022-12-28 04:30:21 UTC 2022-12-28	20220511-manganese-3 (patches unapplied) Author: Ralf Treinen Author Date: 2022-12-27 20:00:26 UTC 20220511-manganese-3 (patches unapplied) Imported using git-ubuntu import.
importer/ubuntu/pristine-tar	2022-08-28 09:47:07 UTC 2022-08-28	pristine-tar data for frama-c_20220511-manganese.orig.tar.gz Author: Ubuntu Git Importer Author Date: 2022-08-28 09:47:07 UTC pristine-tar data for frama-c_20220511-manganese.orig.tar.gz
importer/debian/pristine-tar	2022-08-28 09:45:48 UTC 2022-08-28	pristine-tar data for frama-c_20220511-manganese.orig.tar.gz Author: Ubuntu Git Importer Author Date: 2022-08-28 09:45:48 UTC pristine-tar data for frama-c_20220511-manganese.orig.tar.gz
ubuntu/kinetic	2022-06-27 22:27:48 UTC 2022-06-27	20220511-manganese-1.3 (patches unapplied) Author: Julien Puydt Author Date: 2022-06-27 18:50:40 UTC 20220511-manganese-1.3 (patches unapplied) Imported using git-ubuntu import.
ubuntu/kinetic-devel	2022-06-27 22:27:48 UTC 2022-06-27	20220511-manganese-1.3 (patches unapplied) Author: Julien Puydt Author Date: 2022-06-27 18:50:40 UTC 20220511-manganese-1.3 (patches unapplied) Imported using git-ubuntu import.
ubuntu/kinetic-proposed	2022-06-27 22:27:48 UTC 2022-06-27	20220511-manganese-1.3 (patches unapplied) Author: Julien Puydt Author Date: 2022-06-27 18:50:40 UTC 20220511-manganese-1.3 (patches unapplied) Imported using git-ubuntu import.
applied/ubuntu/kinetic-proposed	2022-06-27 22:27:48 UTC 2022-06-27	20220511-manganese-1.3 (patches applied) Author: Julien Puydt Author Date: 2022-06-27 18:50:40 UTC 20220511-manganese-1.3 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/kinetic-devel	2022-06-27 22:27:48 UTC 2022-06-27	20220511-manganese-1.3 (patches applied) Author: Julien Puydt Author Date: 2022-06-27 18:50:40 UTC 20220511-manganese-1.3 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/kinetic	2022-06-27 22:27:48 UTC 2022-06-27	20220511-manganese-1.3 (patches applied) Author: Julien Puydt Author Date: 2022-06-27 18:50:40 UTC 20220511-manganese-1.3 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/jammy-devel	2021-12-09 15:54:13 UTC 2021-12-09	20201209+titanium-4.1build2 (patches applied) Author: Steve Langasek Author Date: 2021-12-09 15:53:33 UTC 20201209+titanium-4.1build2 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/jammy-proposed	2021-12-09 15:54:13 UTC 2021-12-09	20201209+titanium-4.1build2 (patches applied) Author: Steve Langasek Author Date: 2021-12-09 15:53:33 UTC 20201209+titanium-4.1build2 (patches applied) Imported using git-ubuntu import.
ubuntu/jammy-proposed	2021-12-09 15:54:13 UTC 2021-12-09	20201209+titanium-4.1build2 (patches unapplied) Author: Steve Langasek Author Date: 2021-12-09 15:53:33 UTC 20201209+titanium-4.1build2 (patches unapplied) Imported using git-ubuntu import.
ubuntu/jammy-devel	2021-12-09 15:54:13 UTC 2021-12-09	20201209+titanium-4.1build2 (patches unapplied) Author: Steve Langasek Author Date: 2021-12-09 15:53:33 UTC 20201209+titanium-4.1build2 (patches unapplied) Imported using git-ubuntu import.
ubuntu/jammy	2021-11-07 01:18:09 UTC 2021-11-07	20201209+titanium-4.1build1 (patches unapplied) Author: Gianfranco Costamagna Author Date: 2021-11-07 01:17:45 UTC 20201209+titanium-4.1build1 (patches unapplied) Imported using git-ubuntu import.
applied/ubuntu/jammy	2021-11-07 01:18:09 UTC 2021-11-07	20201209+titanium-4.1build1 (patches applied) Author: Gianfranco Costamagna Author Date: 2021-11-07 01:17:45 UTC 20201209+titanium-4.1build1 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/impish	2021-02-13 04:28:09 UTC 2021-02-13	20201209+titanium-4.1 (patches applied) Author: Gianfranco Costamagna Author Date: 2021-02-11 22:09:31 UTC 20201209+titanium-4.1 (patches applied) Imported using git-ubuntu import.
ubuntu/impish-devel	2021-02-13 04:28:09 UTC 2021-02-13	20201209+titanium-4.1 (patches unapplied) Author: Gianfranco Costamagna Author Date: 2021-02-11 22:09:31 UTC 20201209+titanium-4.1 (patches unapplied) Imported using git-ubuntu import.
applied/ubuntu/hirsute-proposed	2021-02-13 04:28:09 UTC 2021-02-13	20201209+titanium-4.1 (patches applied) Author: Gianfranco Costamagna Author Date: 2021-02-11 22:09:31 UTC 20201209+titanium-4.1 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/hirsute-devel	2021-02-13 04:28:09 UTC 2021-02-13	20201209+titanium-4.1 (patches applied) Author: Gianfranco Costamagna Author Date: 2021-02-11 22:09:31 UTC 20201209+titanium-4.1 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/hirsute	2021-02-13 04:28:09 UTC 2021-02-13	20201209+titanium-4.1 (patches applied) Author: Gianfranco Costamagna Author Date: 2021-02-11 22:09:31 UTC 20201209+titanium-4.1 (patches applied) Imported using git-ubuntu import.
debian/bullseye	2021-02-13 04:28:09 UTC 2021-02-13	20201209+titanium-4.1 (patches unapplied) Author: Gianfranco Costamagna Author Date: 2021-02-11 22:09:31 UTC 20201209+titanium-4.1 (patches unapplied) Imported using git-ubuntu import.
applied/ubuntu/impish-devel	2021-02-13 04:28:09 UTC 2021-02-13	20201209+titanium-4.1 (patches applied) Author: Gianfranco Costamagna Author Date: 2021-02-11 22:09:31 UTC 20201209+titanium-4.1 (patches applied) Imported using git-ubuntu import.
ubuntu/impish	2021-02-13 04:28:09 UTC 2021-02-13	20201209+titanium-4.1 (patches unapplied) Author: Gianfranco Costamagna Author Date: 2021-02-11 22:09:31 UTC 20201209+titanium-4.1 (patches unapplied) Imported using git-ubuntu import.
ubuntu/hirsute-proposed	2021-02-13 04:28:09 UTC 2021-02-13	20201209+titanium-4.1 (patches unapplied) Author: Gianfranco Costamagna Author Date: 2021-02-11 22:09:31 UTC 20201209+titanium-4.1 (patches unapplied) Imported using git-ubuntu import.
ubuntu/hirsute-devel	2021-02-13 04:28:09 UTC 2021-02-13	20201209+titanium-4.1 (patches unapplied) Author: Gianfranco Costamagna Author Date: 2021-02-11 22:09:31 UTC 20201209+titanium-4.1 (patches unapplied) Imported using git-ubuntu import.
ubuntu/hirsute	2021-02-13 04:28:09 UTC 2021-02-13	20201209+titanium-4.1 (patches unapplied) Author: Gianfranco Costamagna Author Date: 2021-02-11 22:09:31 UTC 20201209+titanium-4.1 (patches unapplied) Imported using git-ubuntu import.
applied/debian/bullseye	2021-02-13 04:28:09 UTC 2021-02-13	20201209+titanium-4.1 (patches applied) Author: Gianfranco Costamagna Author Date: 2021-02-11 22:09:31 UTC 20201209+titanium-4.1 (patches applied) Imported using git-ubuntu import.
ubuntu/groovy-devel	2020-10-04 00:40:07 UTC 2020-10-04	20200625+scandium-2build1 (patches unapplied) Author: Jeremy Bícha Author Date: 2020-10-04 00:38:06 UTC 20200625+scandium-2build1 (patches unapplied) Imported using git-ubuntu import.
ubuntu/groovy	2020-10-04 00:40:07 UTC 2020-10-04	20200625+scandium-2build1 (patches unapplied) Author: Jeremy Bícha Author Date: 2020-10-04 00:38:06 UTC 20200625+scandium-2build1 (patches unapplied) Imported using git-ubuntu import.
applied/ubuntu/groovy	2020-10-04 00:40:07 UTC 2020-10-04	20200625+scandium-2build1 (patches applied) Author: Jeremy Bícha Author Date: 2020-10-04 00:38:06 UTC 20200625+scandium-2build1 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/groovy-proposed	2020-10-04 00:40:07 UTC 2020-10-04	20200625+scandium-2build1 (patches applied) Author: Jeremy Bícha Author Date: 2020-10-04 00:38:06 UTC 20200625+scandium-2build1 (patches applied) Imported using git-ubuntu import.
ubuntu/groovy-proposed	2020-10-04 00:40:07 UTC 2020-10-04	20200625+scandium-2build1 (patches unapplied) Author: Jeremy Bícha Author Date: 2020-10-04 00:38:06 UTC 20200625+scandium-2build1 (patches unapplied) Imported using git-ubuntu import.
applied/ubuntu/groovy-devel	2020-10-04 00:40:07 UTC 2020-10-04	20200625+scandium-2build1 (patches applied) Author: Jeremy Bícha Author Date: 2020-10-04 00:38:06 UTC 20200625+scandium-2build1 (patches applied) Imported using git-ubuntu import.
ubuntu/focal-devel	2020-04-01 16:40:08 UTC 2020-04-01	20191204+calcium-0.1 (patches unapplied) Author: Gianfranco Costamagna Author Date: 2020-03-20 18:14:20 UTC 20191204+calcium-0.1 (patches unapplied) Imported using git-ubuntu import.
applied/ubuntu/focal-proposed	2020-04-01 16:40:08 UTC 2020-04-01	20191204+calcium-0.1 (patches applied) Author: Gianfranco Costamagna Author Date: 2020-03-20 18:14:20 UTC 20191204+calcium-0.1 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/focal-devel	2020-04-01 16:40:08 UTC 2020-04-01	20191204+calcium-0.1 (patches applied) Author: Gianfranco Costamagna Author Date: 2020-03-20 18:14:20 UTC 20191204+calcium-0.1 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/focal	2020-04-01 16:40:08 UTC 2020-04-01	20191204+calcium-0.1 (patches applied) Author: Gianfranco Costamagna Author Date: 2020-03-20 18:14:20 UTC 20191204+calcium-0.1 (patches applied) Imported using git-ubuntu import.
ubuntu/focal-proposed	2020-04-01 16:40:08 UTC 2020-04-01	20191204+calcium-0.1 (patches unapplied) Author: Gianfranco Costamagna Author Date: 2020-03-20 18:14:20 UTC 20191204+calcium-0.1 (patches unapplied) Imported using git-ubuntu import.
ubuntu/focal	2020-04-01 16:40:08 UTC 2020-04-01	20191204+calcium-0.1 (patches unapplied) Author: Gianfranco Costamagna Author Date: 2020-03-20 18:14:20 UTC 20191204+calcium-0.1 (patches unapplied) Imported using git-ubuntu import.
ubuntu/eoan-devel	2019-09-05 11:24:26 UTC 2019-09-05	20171101+sulfur+dfsg-2build2 (patches unapplied) Author: Matthias Klose Author Date: 2019-09-05 10:49:42 UTC 20171101+sulfur+dfsg-2build2 (patches unapplied) Imported using git-ubuntu import.
ubuntu/eoan-proposed	2019-09-05 11:24:26 UTC 2019-09-05	20171101+sulfur+dfsg-2build2 (patches unapplied) Author: Matthias Klose Author Date: 2019-09-05 10:49:42 UTC 20171101+sulfur+dfsg-2build2 (patches unapplied) Imported using git-ubuntu import.
applied/ubuntu/eoan-proposed	2019-09-05 11:24:26 UTC 2019-09-05	20171101+sulfur+dfsg-2build2 (patches applied) Author: Matthias Klose Author Date: 2019-09-05 10:49:42 UTC 20171101+sulfur+dfsg-2build2 (patches applied) Imported using git-ubuntu import.
ubuntu/eoan	2019-09-05 11:24:26 UTC 2019-09-05	20171101+sulfur+dfsg-2build2 (patches unapplied) Author: Matthias Klose Author Date: 2019-09-05 10:49:42 UTC 20171101+sulfur+dfsg-2build2 (patches unapplied) Imported using git-ubuntu import.
applied/ubuntu/eoan-devel	2019-09-05 11:24:26 UTC 2019-09-05	20171101+sulfur+dfsg-2build2 (patches applied) Author: Matthias Klose Author Date: 2019-09-05 10:49:42 UTC 20171101+sulfur+dfsg-2build2 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/eoan	2019-09-05 11:24:26 UTC 2019-09-05	20171101+sulfur+dfsg-2build2 (patches applied) Author: Matthias Klose Author Date: 2019-09-05 10:49:42 UTC 20171101+sulfur+dfsg-2build2 (patches applied) Imported using git-ubuntu import.
ubuntu/disco-proposed	2018-11-12 16:31:23 UTC 2018-11-12	20171101+sulfur+dfsg-2 (patches unapplied) Author: Stéphane Glondu Author Date: 2018-11-12 10:44:42 UTC 20171101+sulfur+dfsg-2 (patches unapplied) Imported using git-ubuntu import.
applied/debian/buster	2018-11-12 16:31:23 UTC 2018-11-12	20171101+sulfur+dfsg-2 (patches applied) Author: Stéphane Glondu Author Date: 2018-11-12 10:44:42 UTC 20171101+sulfur+dfsg-2 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/disco	2018-11-12 16:31:23 UTC 2018-11-12	20171101+sulfur+dfsg-2 (patches applied) Author: Stéphane Glondu Author Date: 2018-11-12 10:44:42 UTC 20171101+sulfur+dfsg-2 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/disco-devel	2018-11-12 16:31:23 UTC 2018-11-12	20171101+sulfur+dfsg-2 (patches applied) Author: Stéphane Glondu Author Date: 2018-11-12 10:44:42 UTC 20171101+sulfur+dfsg-2 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/disco-proposed	2018-11-12 16:31:23 UTC 2018-11-12	20171101+sulfur+dfsg-2 (patches applied) Author: Stéphane Glondu Author Date: 2018-11-12 10:44:42 UTC 20171101+sulfur+dfsg-2 (patches applied) Imported using git-ubuntu import.
debian/buster	2018-11-12 16:31:23 UTC 2018-11-12	20171101+sulfur+dfsg-2 (patches unapplied) Author: Stéphane Glondu Author Date: 2018-11-12 10:44:42 UTC 20171101+sulfur+dfsg-2 (patches unapplied) Imported using git-ubuntu import.
ubuntu/disco	2018-11-12 16:31:23 UTC 2018-11-12	20171101+sulfur+dfsg-2 (patches unapplied) Author: Stéphane Glondu Author Date: 2018-11-12 10:44:42 UTC 20171101+sulfur+dfsg-2 (patches unapplied) Imported using git-ubuntu import.
ubuntu/disco-devel	2018-11-12 16:31:23 UTC 2018-11-12	20171101+sulfur+dfsg-2 (patches unapplied) Author: Stéphane Glondu Author Date: 2018-11-12 10:44:42 UTC 20171101+sulfur+dfsg-2 (patches unapplied) Imported using git-ubuntu import.
applied/ubuntu/cosmic-proposed	2018-05-11 22:28:26 UTC 2018-05-11	20171101+sulfur+dfsg-1 (patches applied) Author: Mehdi Author Date: 2018-05-11 15:39:36 UTC 20171101+sulfur+dfsg-1 (patches applied) Imported using git-ubuntu import.
ubuntu/cosmic-proposed	2018-05-11 22:28:26 UTC 2018-05-11	20171101+sulfur+dfsg-1 (patches unapplied) Author: Mehdi Author Date: 2018-05-11 15:39:36 UTC 20171101+sulfur+dfsg-1 (patches unapplied) Imported using git-ubuntu import.
ubuntu/cosmic-devel	2018-05-11 22:28:26 UTC 2018-05-11	20171101+sulfur+dfsg-1 (patches unapplied) Author: Mehdi Author Date: 2018-05-11 15:39:36 UTC 20171101+sulfur+dfsg-1 (patches unapplied) Imported using git-ubuntu import.
ubuntu/cosmic	2018-05-11 22:28:26 UTC 2018-05-11	20171101+sulfur+dfsg-1 (patches unapplied) Author: Mehdi Author Date: 2018-05-11 15:39:36 UTC 20171101+sulfur+dfsg-1 (patches unapplied) Imported using git-ubuntu import.
applied/ubuntu/cosmic	2018-05-11 22:28:26 UTC 2018-05-11	20171101+sulfur+dfsg-1 (patches applied) Author: Mehdi Author Date: 2018-05-11 15:39:36 UTC 20171101+sulfur+dfsg-1 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/cosmic-devel	2018-05-11 22:28:26 UTC 2018-05-11	20171101+sulfur+dfsg-1 (patches applied) Author: Mehdi Author Date: 2018-05-11 15:39:36 UTC 20171101+sulfur+dfsg-1 (patches applied) Imported using git-ubuntu import.
ubuntu/bionic-devel	2017-10-28 15:37:21 UTC 2017-10-28	20170501+phosphorus+dfsg-2build1 (patches unapplied) Author: Gianfranco Costamagna Author Date: 2017-10-28 14:39:11 UTC 20170501+phosphorus+dfsg-2build1 (patches unapplied) Imported using git-ubuntu import.
applied/ubuntu/bionic	2017-10-28 15:37:21 UTC 2017-10-28	20170501+phosphorus+dfsg-2build1 (patches applied) Author: Gianfranco Costamagna Author Date: 2017-10-28 14:39:11 UTC 20170501+phosphorus+dfsg-2build1 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/bionic-devel	2017-10-28 15:37:21 UTC 2017-10-28	20170501+phosphorus+dfsg-2build1 (patches applied) Author: Gianfranco Costamagna Author Date: 2017-10-28 14:39:11 UTC 20170501+phosphorus+dfsg-2build1 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/bionic-proposed	2017-10-28 15:37:21 UTC 2017-10-28	20170501+phosphorus+dfsg-2build1 (patches applied) Author: Gianfranco Costamagna Author Date: 2017-10-28 14:39:11 UTC 20170501+phosphorus+dfsg-2build1 (patches applied) Imported using git-ubuntu import.
ubuntu/bionic-proposed	2017-10-28 15:37:21 UTC 2017-10-28	20170501+phosphorus+dfsg-2build1 (patches unapplied) Author: Gianfranco Costamagna Author Date: 2017-10-28 14:39:11 UTC 20170501+phosphorus+dfsg-2build1 (patches unapplied) Imported using git-ubuntu import.
ubuntu/bionic	2017-10-28 15:37:21 UTC 2017-10-28	20170501+phosphorus+dfsg-2build1 (patches unapplied) Author: Gianfranco Costamagna Author Date: 2017-10-28 14:39:11 UTC 20170501+phosphorus+dfsg-2build1 (patches unapplied) Imported using git-ubuntu import.
applied/ubuntu/artful-proposed	2017-09-10 16:28:36 UTC 2017-09-10	20170501+phosphorus+dfsg-2 (patches applied) Author: Mehdi Author Date: 2017-09-10 11:52:22 UTC 20170501+phosphorus+dfsg-2 (patches applied) Imported using git-ubuntu import.
ubuntu/artful	2017-09-10 16:28:36 UTC 2017-09-10	20170501+phosphorus+dfsg-2 (patches unapplied) Author: Mehdi Author Date: 2017-09-10 11:52:22 UTC 20170501+phosphorus+dfsg-2 (patches unapplied) Imported using git-ubuntu import.
ubuntu/artful-devel	2017-09-10 16:28:36 UTC 2017-09-10	20170501+phosphorus+dfsg-2 (patches unapplied) Author: Mehdi Author Date: 2017-09-10 11:52:22 UTC 20170501+phosphorus+dfsg-2 (patches unapplied) Imported using git-ubuntu import.
ubuntu/artful-proposed	2017-09-10 16:28:36 UTC 2017-09-10	20170501+phosphorus+dfsg-2 (patches unapplied) Author: Mehdi Author Date: 2017-09-10 11:52:22 UTC 20170501+phosphorus+dfsg-2 (patches unapplied) Imported using git-ubuntu import.
applied/ubuntu/artful	2017-09-10 16:28:36 UTC 2017-09-10	20170501+phosphorus+dfsg-2 (patches applied) Author: Mehdi Author Date: 2017-09-10 11:52:22 UTC 20170501+phosphorus+dfsg-2 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/artful-devel	2017-09-10 16:28:36 UTC 2017-09-10	20170501+phosphorus+dfsg-2 (patches applied) Author: Mehdi Author Date: 2017-09-10 11:52:22 UTC 20170501+phosphorus+dfsg-2 (patches applied) Imported using git-ubuntu import.
debian/stretch	2017-01-15 16:12:48 UTC 2017-01-15	20161101+silicon+dfsg-5 (patches unapplied) Author: Mehdi Author Date: 2017-01-15 12:00:55 UTC 20161101+silicon+dfsg-5 (patches unapplied) Imported using git-ubuntu import.
ubuntu/zesty-proposed	2017-01-15 16:12:48 UTC 2017-01-15	20161101+silicon+dfsg-5 (patches unapplied) Author: Mehdi Author Date: 2017-01-15 12:00:55 UTC 20161101+silicon+dfsg-5 (patches unapplied) Imported using git-ubuntu import.

Other repositories

Name	Last Modified
lp:ubuntu/+source/frama-c	2024-04-04

You can't create new repositories for frama-c in Ubuntu.