Ubuntu
why3 package

ubuntu/+source/why3:applied/ubuntu/cosmic

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

Recent commits

0a2df33... by Gianfranco Costamagna

0.88.3-3ubuntu1 (patches applied)

Imported using git-ubuntu import.

6c78025... by Gianfranco Costamagna

fix unportable assumptions in getopt_long() handling

Gbp-Pq: getopt_long-return-value.

3d0bda9... by Gianfranco Costamagna

0.88.3-3ubuntu1 (patches unapplied)

Imported using git-ubuntu import.

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

0.88.3-3 (patches applied)

Imported using git-ubuntu import.

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

0.88.3-3 (patches unapplied)

Imported using git-ubuntu import.

568221a... by Ralf Treinen <email address hidden>

fix unportable assumptions in getopt_long() handling

Gbp-Pq: getopt_long-return-value.

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

0.88.3-2 (patches applied)

Imported using git-ubuntu import.

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

0.88.3-2 (patches unapplied)

Imported using git-ubuntu import.

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

fix unportable assumptions in getopt_long() handling

Gbp-Pq: getopt_long-return-value.

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

0.88.3-1 (patches applied)

Imported using git-ubuntu import.