Ubuntu
why3 package

Get this repository:
git clone https://git.launchpad.net/ubuntu/+source/why3
Members of git-ubuntu import can upload to this repository. Log in for directions.

See all merge proposals.

Branches

Name Last Modified Last Commit
ubuntu/artful-devel 2017-09-18 20:14:11 UTC
0.87.3-2ubuntu3 (patches unapplied)

Author: Matthias Klose
Author Date: 2017-09-18 20:11:33 UTC

0.87.3-2ubuntu3 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/artful 2017-09-18 20:14:11 UTC
0.87.3-2ubuntu3 (patches unapplied)

Author: Matthias Klose
Author Date: 2017-09-18 20:11:33 UTC

0.87.3-2ubuntu3 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/zesty-devel 2017-01-22 10:28:27 UTC
0.87.3-2 (patches unapplied)

Author: Ralf Treinen
Author Date: 2017-01-21 20:02:08 UTC

0.87.3-2 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/zesty 2017-01-22 10:28:27 UTC
0.87.3-2 (patches applied)

Author: Ralf Treinen
Author Date: 2017-01-21 20:02:08 UTC

0.87.3-2 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/zesty-proposed 2017-01-22 10:28:27 UTC
0.87.3-2 (patches applied)

Author: Ralf Treinen
Author Date: 2017-01-21 20:02:08 UTC

0.87.3-2 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/zesty-devel 2017-01-22 10:28:27 UTC
0.87.3-2 (patches applied)

Author: Ralf Treinen
Author Date: 2017-01-21 20:02:08 UTC

0.87.3-2 (patches applied)

Imported using git-ubuntu import.
applied/debian/stretch 2017-01-22 10:28:27 UTC
0.87.3-2 (patches applied)

Author: Ralf Treinen
Author Date: 2017-01-21 20:02:08 UTC

0.87.3-2 (patches applied)

Imported using git-ubuntu import.
debian/stretch 2017-01-22 10:28:27 UTC
0.87.3-2 (patches unapplied)

Author: Ralf Treinen
Author Date: 2017-01-21 20:02:08 UTC

0.87.3-2 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/zesty-proposed 2017-01-22 10:28:27 UTC
0.87.3-2 (patches unapplied)

Author: Ralf Treinen
Author Date: 2017-01-21 20:02:08 UTC

0.87.3-2 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/zesty 2017-01-22 10:28:27 UTC
0.87.3-2 (patches unapplied)

Author: Ralf Treinen
Author Date: 2017-01-21 20:02:08 UTC

0.87.3-2 (patches unapplied)

Imported using git-ubuntu import.
debian/experimental 2017-01-13 04:10:41 UTC
0.87.3-1 (patches unapplied)

Author: Ralf Treinen
Author Date: 2017-01-12 15:56:47 UTC

0.87.3-1 (patches unapplied)

Imported using git-ubuntu import.
applied/debian/experimental 2017-01-13 04:10:41 UTC
0.87.3-1 (patches applied)

Author: Ralf Treinen
Author Date: 2017-01-12 15:56:47 UTC

0.87.3-1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/yakkety 2016-09-02 13:46:37 UTC
0.87.1-2build1 (patches applied)

Author: Matthias Klose
Author Date: 2016-09-02 12:11:03 UTC

0.87.1-2build1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/yakkety-proposed 2016-09-02 13:46:37 UTC
0.87.1-2build1 (patches applied)

Author: Matthias Klose
Author Date: 2016-09-02 12:11:03 UTC

0.87.1-2build1 (patches applied)

Imported using git-ubuntu import.
ubuntu/yakkety-proposed 2016-09-02 13:46:37 UTC
0.87.1-2build1 (patches unapplied)

Author: Matthias Klose
Author Date: 2016-09-02 12:11:03 UTC

0.87.1-2build1 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/yakkety-devel 2016-09-02 13:46:37 UTC
0.87.1-2build1 (patches applied)

Author: Matthias Klose
Author Date: 2016-09-02 12:11:03 UTC

0.87.1-2build1 (patches applied)

Imported using git-ubuntu import.
ubuntu/yakkety-devel 2016-09-02 13:46:37 UTC
0.87.1-2build1 (patches unapplied)

Author: Matthias Klose
Author Date: 2016-09-02 12:11:03 UTC

0.87.1-2build1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/yakkety 2016-09-02 13:46:37 UTC
0.87.1-2build1 (patches unapplied)

Author: Matthias Klose
Author Date: 2016-09-02 12:11:03 UTC

0.87.1-2build1 (patches unapplied)

Imported using git-ubuntu import.
101 → 118 of 118 results First • • Next • Last

Other repositories

Name Last Modified
lp:ubuntu/+source/why3 2024-05-05
1 → 1 of 1 result First • Previous • Next • Last
You can't create new repositories for why3 in Ubuntu.