Ubuntu
why3 package

ubuntu/+source/why3:applied/ubuntu/noble-updates

  1. Git
  2. lp:ubuntu/+source/why3
  3. applied/ubuntu/noble-updates
Last commit made on 2024-02-22
Get this branch:
git clone -b applied/ubuntu/noble-updates https://git.launchpad.net/ubuntu/+source/why3
Members of git-ubuntu import can upload to this branch. Log in for directions.

Branch merges

Branch information

Name:
applied/ubuntu/noble-updates
Repository:
lp:ubuntu/+source/why3

Recent commits

36ea495... by Gianfranco Costamagna

1.6.0-1build4 (patches applied)

Imported using git-ubuntu import.

4f8e1db... by Gianfranco Costamagna

hardening-flags

Gbp-Pq: hardening-flags.

de553c7... by Gianfranco Costamagna

1.6.0-1build4 (patches unapplied)

Imported using git-ubuntu import.

8577dd9... by Gianfranco Costamagna

1.6.0-1build3 (patches applied)

Imported using git-ubuntu import.

f26e1f3... by Gianfranco Costamagna

1.6.0-1build3 (patches unapplied)

Imported using git-ubuntu import.

765e827... by Gianfranco Costamagna

hardening-flags

Gbp-Pq: hardening-flags.

56339d5... by Gianfranco Costamagna

1.6.0-1build2 (patches applied)

Imported using git-ubuntu import.

18413fe... by Gianfranco Costamagna

1.6.0-1build2 (patches unapplied)

Imported using git-ubuntu import.

6cc1a96... by Gianfranco Costamagna

hardening-flags

Gbp-Pq: hardening-flags.

37555b4... by Gianfranco Costamagna

1.6.0-1build1 (patches applied)

Imported using git-ubuntu import.