ubuntu/+source/frama-c:ubuntu/noble
Last commit made on
2024-03-31
- Get this branch:
-
git clone
-b ubuntu/noble
https://git.launchpad.net/ubuntu/+source/frama-c
Members of
git-ubuntu import
can upload to this branch.
Log in for directions.
Branch merges
Branch information
- Name:
- ubuntu/noble
- Repository:
- lp:ubuntu/+source/frama-c
Recent commits
- 8107aea... by Steve Langasek
- b2f62ee... by Steve Langasek
- 18418d4... by Gianfranco Costamagna
- 5b55796... by Gianfranco Costamagna
- 094be61... by Gianfranco Costamagna
- db228a8... by Gianfranco Costamagna
- 6066582... by Gianfranco Costamagna
- 83924e2... by Stéphane Glondu
- 1294f3d... by Stéphane Glondu
- d79e55a... by Ralf Treinen <email address hidden>