Ubuntu
why3 package

ubuntu/+source/why3:applied/ubuntu/groovy-proposed

  1. Git
  2. lp:ubuntu/+source/why3
  3. applied/ubuntu/groovy-proposed
Last commit made on 2020-10-05
Get this branch:
git clone -b applied/ubuntu/groovy-proposed 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/groovy-proposed
Repository:
lp:ubuntu/+source/why3

Recent commits

9cc82c7... by Gianfranco Costamagna

1.3.3-1build1 (patches applied)

Imported using git-ubuntu import.

aae4255... by Gianfranco Costamagna

hardening-flags

Gbp-Pq: hardening-flags.

f37d2b5... by Gianfranco Costamagna

1.3.3-1build1 (patches unapplied)

Imported using git-ubuntu import.

3e75a4a... by Ralf Treinen <email address hidden>

1.3.3-1 (patches applied)

Imported using git-ubuntu import.

08b45f8... by Ralf Treinen <email address hidden>

1.3.3-1 (patches unapplied)

Imported using git-ubuntu import.

bbd12d5... by Ralf Treinen <email address hidden>

hardening-flags

Gbp-Pq: hardening-flags.

1c9f587... by Ralf Treinen <email address hidden>

1.3.2-1 (patches applied)

Imported using git-ubuntu import.

c52a02e... by Ralf Treinen <email address hidden>

1.3.2-1 (patches unapplied)

Imported using git-ubuntu import.

da4d949... by Ralf Treinen <email address hidden>

support for coq 8.12

Gbp-Pq: coq8.12.

1b2d348... by Ralf Treinen <email address hidden>

hardening-flags

Gbp-Pq: hardening-flags.