Ubuntu
why3 package

ubuntu/+source/why3:applied/ubuntu/jammy

  1. Git
  2. lp:ubuntu/+source/why3
  3. applied/ubuntu/jammy
Last commit made on 2021-12-11
Get this branch:
git clone -b applied/ubuntu/jammy 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/jammy
Repository:
lp:ubuntu/+source/why3

Recent commits

2c5b5c9... by Ralf Treinen <email address hidden>

1.4.0-3 (patches applied)

Imported using git-ubuntu import.

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

Fix bug in theory

Gbp-Pq: 0003-Fix-bug-in-theory.patch.

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

Add support for Coq 8.14.

Gbp-Pq: 0002-Add-support-for-Coq-8.14.patch.

07cd1d4... by Ralf Treinen <email address hidden>

hardening-flags

Gbp-Pq: hardening-flags.

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

1.4.0-3 (patches unapplied)

Imported using git-ubuntu import.

8a4c7a3... by Stéphane Glondu

1.4.0-2 (patches applied)

Imported using git-ubuntu import.

10d703e... by Stéphane Glondu

1.4.0-2 (patches unapplied)

Imported using git-ubuntu import.

fe32112... by Stéphane Glondu

Fix bug in theory

Gbp-Pq: 0003-Fix-bug-in-theory.patch.

c315226... by Stéphane Glondu

Add support for Coq 8.14.

Gbp-Pq: 0002-Add-support-for-Coq-8.14.patch.

6f7b410... by Stéphane Glondu

hardening-flags

Gbp-Pq: hardening-flags.