Ubuntu
why3 package

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

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

Recent commits

9a25b91... by Matthias Klose

1.4.0-3build1 (patches applied)

Imported using git-ubuntu import.

d0c165c... by Matthias Klose

Fix bug in theory

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

bfba993... by Matthias Klose

Add support for Coq 8.14.

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

e758c69... by Matthias Klose

hardening-flags

Gbp-Pq: hardening-flags.

14353fb... by Matthias Klose

1.4.0-3build1 (patches unapplied)

Imported using git-ubuntu import.

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

1.4.0-3 (patches applied)

Imported using git-ubuntu import.

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

1.4.0-3 (patches unapplied)

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.