Ubuntu
why3 package

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

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

Recent commits

9ac005e... by Ralf Treinen <email address hidden>

1.2.1-6 (patches applied)

Imported using git-ubuntu import.

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

Support coq versions 8.10.? and 8.11.0

Gbp-Pq: coq-8.10+11.

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

Move menhirLib from EXTOBJS to EXTLIBS

Gbp-Pq: 0002-Move-menhirLib-from-EXTOBJS-to-EXTLIBS.patch.

9b658ad... by Ralf Treinen <email address hidden>

hardening-flags

Gbp-Pq: hardening-flags.

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

1.2.1-6 (patches unapplied)

Imported using git-ubuntu import.

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

1.2.1-5 (patches applied)

Imported using git-ubuntu import.

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

1.2.1-5 (patches unapplied)

Imported using git-ubuntu import.

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

Support coq versions 8.10.? and 8.11.0

Gbp-Pq: coq-8.10+11.

5b2009b... by Ralf Treinen <email address hidden>

Move menhirLib from EXTOBJS to EXTLIBS

Gbp-Pq: 0002-Move-menhirLib-from-EXTOBJS-to-EXTLIBS.patch.

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

hardening-flags

Gbp-Pq: hardening-flags.