Ubuntu
why3 package

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

  1. Git
  2. lp:ubuntu/+source/why3
  3. applied/ubuntu/noble-devel
Last commit made on 2024-04-01
Get this branch:
git clone -b applied/ubuntu/noble-devel 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-devel
Repository:
lp:ubuntu/+source/why3

Recent commits

9fd360b... by William Grant

1.6.0-1build7 (patches applied)

Imported using git-ubuntu import.

c991319... by William Grant

hardening-flags

Gbp-Pq: hardening-flags.

4db999f... by William Grant

1.6.0-1build7 (patches unapplied)

Imported using git-ubuntu import.

a9d4cd1... by Steve Langasek

1.6.0-1build6 (patches applied)

Imported using git-ubuntu import.

c416eeb... by Steve Langasek

1.6.0-1build6 (patches unapplied)

Imported using git-ubuntu import.

a7ce949... by Steve Langasek

hardening-flags

Gbp-Pq: hardening-flags.

a086cfa... by Steve Langasek

1.6.0-1build5 (patches applied)

Imported using git-ubuntu import.

0246617... by Steve Langasek

1.6.0-1build5 (patches unapplied)

Imported using git-ubuntu import.

64aa956... by Steve Langasek

hardening-flags

Gbp-Pq: hardening-flags.

36ea495... by Gianfranco Costamagna

1.6.0-1build4 (patches applied)

Imported using git-ubuntu import.