Ubuntu
why3 package

ubuntu/+source/why3:applied/ubuntu/artful

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

Recent commits

ce22c97... by Matthias Klose

0.87.3-2ubuntu3 (patches applied)

Imported using git-ubuntu import.

e2f2a3c... by Matthias Klose

0.87.3-2ubuntu3 (patches unapplied)

Imported using git-ubuntu import.

68c379f... by Simon Quigley

0.87.3-2ubuntu2 (patches applied)

Imported using git-ubuntu import.

04a3161... by Simon Quigley

0.87.3-2ubuntu2 (patches unapplied)

Imported using git-ubuntu import.

ac4031c... by Dimitri John Ledkov

0.87.3-2ubuntu1 (patches applied)

Imported using git-ubuntu import.

e4e6bfd... by Dimitri John Ledkov

0.87.3-2ubuntu1 (patches unapplied)

Imported using git-ubuntu import.

c48436e... by Dimitri John Ledkov

0.87.3-2build5 (patches applied)

Imported using git-ubuntu import.

95355ad... by Dimitri John Ledkov

0.87.3-2build5 (patches unapplied)

Imported using git-ubuntu import.

5a3f6a8... by Dimitri John Ledkov

0.87.3-2build4 (patches applied)

Imported using git-ubuntu import.

ccb59c4... by Dimitri John Ledkov

0.87.3-2build4 (patches unapplied)

Imported using git-ubuntu import.