Ubuntu
why3 package

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

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

Recent commits

851cc5c... by Gianfranco Costamagna

1.0.0-2.1~build1 (patches applied)

Imported using git-ubuntu import.

bf59ebd... by Gianfranco Costamagna

1.0.0-2.1~build1 (patches unapplied)

Imported using git-ubuntu import.

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

1.0.0-2 (patches applied)

Imported using git-ubuntu import.

5332a31... by Ralf Treinen <email address hidden>

1.0.0-2 (patches unapplied)

Imported using git-ubuntu import.

8af7b63... by Ralf Treinen <email address hidden>

1.0.0-1 (patches applied)

Imported using git-ubuntu import.

862df52... by Ralf Treinen <email address hidden>

1.0.0-1 (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.