Ubuntu
eprover package

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

See all merge proposals.

Branches

Name Last Modified Last Commit
importer/ubuntu/dsc 2024-10-31 19:10:00 UTC
DSC file for 3.2.5+ds-1

Author: Ubuntu Git Importer
Author Date: 2024-10-31 19:10:00 UTC

DSC file for 3.2.5+ds-1
importer/debian/dsc 2024-10-19 04:39:34 UTC
DSC file for 3.2.5+ds-1

Author: Ubuntu Git Importer
Author Date: 2024-10-19 04:39:34 UTC

DSC file for 3.2.5+ds-1
applied/ubuntu/plucky-proposed 2024-10-19 04:34:15 UTC
3.2.5+ds-1 (patches applied)

Author: Julien Puydt
Author Date: 2024-10-18 21:03:46 UTC

3.2.5+ds-1 (patches applied)

Imported using git-ubuntu import.
ubuntu/plucky-devel 2024-10-19 04:34:15 UTC
3.2.5+ds-1 (patches unapplied)

Author: Julien Puydt
Author Date: 2024-10-18 21:03:46 UTC

3.2.5+ds-1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/plucky-proposed 2024-10-19 04:34:15 UTC
3.2.5+ds-1 (patches unapplied)

Author: Julien Puydt
Author Date: 2024-10-18 21:03:46 UTC

3.2.5+ds-1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/plucky 2024-10-19 04:34:15 UTC
3.2.5+ds-1 (patches unapplied)

Author: Julien Puydt
Author Date: 2024-10-18 21:03:46 UTC

3.2.5+ds-1 (patches unapplied)

Imported using git-ubuntu import.
debian/sid 2024-10-19 04:34:15 UTC
3.2.5+ds-1 (patches unapplied)

Author: Julien Puydt
Author Date: 2024-10-18 21:03:46 UTC

3.2.5+ds-1 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/plucky 2024-10-19 04:34:15 UTC
3.2.5+ds-1 (patches applied)

Author: Julien Puydt
Author Date: 2024-10-18 21:03:46 UTC

3.2.5+ds-1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/devel 2024-10-19 04:34:15 UTC
3.2.5+ds-1 (patches applied)

Author: Julien Puydt
Author Date: 2024-10-18 21:03:46 UTC

3.2.5+ds-1 (patches applied)

Imported using git-ubuntu import.
applied/debian/sid 2024-10-19 04:34:15 UTC
3.2.5+ds-1 (patches applied)

Author: Julien Puydt
Author Date: 2024-10-18 21:03:46 UTC

3.2.5+ds-1 (patches applied)

Imported using git-ubuntu import.
ubuntu/devel 2024-10-19 04:34:15 UTC
3.2.5+ds-1 (patches unapplied)

Author: Julien Puydt
Author Date: 2024-10-18 21:03:46 UTC

3.2.5+ds-1 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/plucky-devel 2024-10-19 04:34:15 UTC
3.2.5+ds-1 (patches applied)

Author: Julien Puydt
Author Date: 2024-10-18 21:03:46 UTC

3.2.5+ds-1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/oracular-proposed 2024-06-17 10:27:35 UTC
3.2.0+ds-1 (patches applied)

Author: Julien Puydt
Author Date: 2024-06-17 06:01:15 UTC

3.2.0+ds-1 (patches applied)

Imported using git-ubuntu import.
ubuntu/oracular-proposed 2024-06-17 10:27:35 UTC
3.2.0+ds-1 (patches unapplied)

Author: Julien Puydt
Author Date: 2024-06-17 06:01:15 UTC

3.2.0+ds-1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/oracular-devel 2024-06-17 10:27:35 UTC
3.2.0+ds-1 (patches unapplied)

Author: Julien Puydt
Author Date: 2024-06-17 06:01:15 UTC

3.2.0+ds-1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/oracular 2024-06-17 10:27:35 UTC
3.2.0+ds-1 (patches unapplied)

Author: Julien Puydt
Author Date: 2024-06-17 06:01:15 UTC

3.2.0+ds-1 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/oracular 2024-06-17 10:27:35 UTC
3.2.0+ds-1 (patches applied)

Author: Julien Puydt
Author Date: 2024-06-17 06:01:15 UTC

3.2.0+ds-1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/oracular-devel 2024-06-17 10:27:35 UTC
3.2.0+ds-1 (patches applied)

Author: Julien Puydt
Author Date: 2024-06-17 06:01:15 UTC

3.2.0+ds-1 (patches applied)

Imported using git-ubuntu import.
ubuntu/noble-proposed 2023-12-12 22:27:37 UTC
3.0.03+ds-1 (patches unapplied)

Author: Julien Puydt
Author Date: 2023-12-12 14:15:05 UTC

3.0.03+ds-1 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/noble-devel 2023-12-12 22:27:37 UTC
3.0.03+ds-1 (patches applied)

Author: Julien Puydt
Author Date: 2023-12-12 14:15:05 UTC

3.0.03+ds-1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/noble-proposed 2023-12-12 22:27:37 UTC
3.0.03+ds-1 (patches applied)

Author: Julien Puydt
Author Date: 2023-12-12 14:15:05 UTC

3.0.03+ds-1 (patches applied)

Imported using git-ubuntu import.
ubuntu/noble 2023-12-12 22:27:37 UTC
3.0.03+ds-1 (patches unapplied)

Author: Julien Puydt
Author Date: 2023-12-12 14:15:05 UTC

3.0.03+ds-1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/noble-devel 2023-12-12 22:27:37 UTC
3.0.03+ds-1 (patches unapplied)

Author: Julien Puydt
Author Date: 2023-12-12 14:15:05 UTC

3.0.03+ds-1 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/noble 2023-12-12 22:27:37 UTC
3.0.03+ds-1 (patches applied)

Author: Julien Puydt
Author Date: 2023-12-12 14:15:05 UTC

3.0.03+ds-1 (patches applied)

Imported using git-ubuntu import.
importer/ubuntu/pristine-tar 2022-08-27 14:16:21 UTC
pristine-tar data for eprover_1.0.004.orig.tar.gz

Author: Ubuntu Git Importer
Author Date: 2022-08-27 14:16:21 UTC

pristine-tar data for eprover_1.0.004.orig.tar.gz
importer/debian/pristine-tar 2022-08-27 14:16:05 UTC
pristine-tar data for eprover_1.0.004.orig.tar.gz

Author: Ubuntu Git Importer
Author Date: 2022-08-27 14:16:05 UTC

pristine-tar data for eprover_1.0.004.orig.tar.gz
ubuntu/kinetic-devel 2022-07-14 04:28:41 UTC
2.6+ds-3 (patches unapplied)

Author: Julien Puydt
Author Date: 2022-07-13 21:52:46 UTC

2.6+ds-3 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/mantic-devel 2022-07-14 04:28:41 UTC
2.6+ds-3 (patches unapplied)

Author: Julien Puydt
Author Date: 2022-07-13 21:52:46 UTC

2.6+ds-3 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/mantic 2022-07-14 04:28:41 UTC
2.6+ds-3 (patches unapplied)

Author: Julien Puydt
Author Date: 2022-07-13 21:52:46 UTC

2.6+ds-3 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/lunar 2022-07-14 04:28:41 UTC
2.6+ds-3 (patches unapplied)

Author: Julien Puydt
Author Date: 2022-07-13 21:52:46 UTC

2.6+ds-3 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/lunar-devel 2022-07-14 04:28:41 UTC
2.6+ds-3 (patches unapplied)

Author: Julien Puydt
Author Date: 2022-07-13 21:52:46 UTC

2.6+ds-3 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/kinetic 2022-07-14 04:28:41 UTC
2.6+ds-3 (patches applied)

Author: Julien Puydt
Author Date: 2022-07-13 21:52:46 UTC

2.6+ds-3 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/kinetic-devel 2022-07-14 04:28:41 UTC
2.6+ds-3 (patches applied)

Author: Julien Puydt
Author Date: 2022-07-13 21:52:46 UTC

2.6+ds-3 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/kinetic-proposed 2022-07-14 04:28:41 UTC
2.6+ds-3 (patches applied)

Author: Julien Puydt
Author Date: 2022-07-13 21:52:46 UTC

2.6+ds-3 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/lunar 2022-07-14 04:28:41 UTC
2.6+ds-3 (patches applied)

Author: Julien Puydt
Author Date: 2022-07-13 21:52:46 UTC

2.6+ds-3 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/lunar-devel 2022-07-14 04:28:41 UTC
2.6+ds-3 (patches applied)

Author: Julien Puydt
Author Date: 2022-07-13 21:52:46 UTC

2.6+ds-3 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/mantic 2022-07-14 04:28:41 UTC
2.6+ds-3 (patches applied)

Author: Julien Puydt
Author Date: 2022-07-13 21:52:46 UTC

2.6+ds-3 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/mantic-devel 2022-07-14 04:28:41 UTC
2.6+ds-3 (patches applied)

Author: Julien Puydt
Author Date: 2022-07-13 21:52:46 UTC

2.6+ds-3 (patches applied)

Imported using git-ubuntu import.
applied/debian/bookworm 2022-07-14 04:28:41 UTC
2.6+ds-3 (patches applied)

Author: Julien Puydt
Author Date: 2022-07-13 21:52:46 UTC

2.6+ds-3 (patches applied)

Imported using git-ubuntu import.
debian/bookworm 2022-07-14 04:28:41 UTC
2.6+ds-3 (patches unapplied)

Author: Julien Puydt
Author Date: 2022-07-13 21:52:46 UTC

2.6+ds-3 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/kinetic 2022-07-14 04:28:41 UTC
2.6+ds-3 (patches unapplied)

Author: Julien Puydt
Author Date: 2022-07-13 21:52:46 UTC

2.6+ds-3 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/kinetic-proposed 2022-07-14 04:28:41 UTC
2.6+ds-3 (patches unapplied)

Author: Julien Puydt
Author Date: 2022-07-13 21:52:46 UTC

2.6+ds-3 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/precise-devel 2011-09-16 22:11:32 UTC
1.0.004-1ubuntu2 (patches unapplied)

Author: Daniel T Chen
Author Date: 2011-09-16 21:49:10 UTC

1.0.004-1ubuntu2 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/oneiric 2011-09-16 22:11:32 UTC
1.0.004-1ubuntu2 (patches applied)

Author: Daniel T Chen
Author Date: 2011-09-16 21:49:10 UTC

1.0.004-1ubuntu2 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/oneiric-devel 2011-09-16 22:11:32 UTC
1.0.004-1ubuntu2 (patches applied)

Author: Daniel T Chen
Author Date: 2011-09-16 21:49:10 UTC

1.0.004-1ubuntu2 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/precise 2011-09-16 22:11:32 UTC
1.0.004-1ubuntu2 (patches applied)

Author: Daniel T Chen
Author Date: 2011-09-16 21:49:10 UTC

1.0.004-1ubuntu2 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/precise-devel 2011-09-16 22:11:32 UTC
1.0.004-1ubuntu2 (patches applied)

Author: Daniel T Chen
Author Date: 2011-09-16 21:49:10 UTC

1.0.004-1ubuntu2 (patches applied)

Imported using git-ubuntu import.
ubuntu/oneiric 2011-09-16 22:11:32 UTC
1.0.004-1ubuntu2 (patches unapplied)

Author: Daniel T Chen
Author Date: 2011-09-16 21:49:10 UTC

1.0.004-1ubuntu2 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/oneiric-devel 2011-09-16 22:11:32 UTC
1.0.004-1ubuntu2 (patches unapplied)

Author: Daniel T Chen
Author Date: 2011-09-16 21:49:10 UTC

1.0.004-1ubuntu2 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/precise 2011-09-16 22:11:32 UTC
1.0.004-1ubuntu2 (patches unapplied)

Author: Daniel T Chen
Author Date: 2011-09-16 21:49:10 UTC

1.0.004-1ubuntu2 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/maverick-devel 2009-05-27 22:20:14 UTC
1.0.004-1ubuntu1 (patches unapplied)

Author: Andrea Gasparini
Author Date: 2009-05-27 20:48:37 UTC

1.0.004-1ubuntu1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/natty 2009-05-27 22:20:14 UTC
1.0.004-1ubuntu1 (patches unapplied)

Author: Andrea Gasparini
Author Date: 2009-05-27 20:48:37 UTC

1.0.004-1ubuntu1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/natty-devel 2009-05-27 22:20:14 UTC
1.0.004-1ubuntu1 (patches unapplied)

Author: Andrea Gasparini
Author Date: 2009-05-27 20:48:37 UTC

1.0.004-1ubuntu1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/karmic-devel 2009-05-27 22:20:14 UTC
1.0.004-1ubuntu1 (patches unapplied)

Author: Andrea Gasparini
Author Date: 2009-05-27 20:48:37 UTC

1.0.004-1ubuntu1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/karmic 2009-05-27 22:20:14 UTC
1.0.004-1ubuntu1 (patches unapplied)

Author: Andrea Gasparini
Author Date: 2009-05-27 20:48:37 UTC

1.0.004-1ubuntu1 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/natty-devel 2009-05-27 22:20:14 UTC
1.0.004-1ubuntu1 (patches applied)

Author: Andrea Gasparini
Author Date: 2009-05-27 20:48:37 UTC

1.0.004-1ubuntu1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/karmic-devel 2009-05-27 22:20:14 UTC
1.0.004-1ubuntu1 (patches applied)

Author: Andrea Gasparini
Author Date: 2009-05-27 20:48:37 UTC

1.0.004-1ubuntu1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/karmic 2009-05-27 22:20:14 UTC
1.0.004-1ubuntu1 (patches applied)

Author: Andrea Gasparini
Author Date: 2009-05-27 20:48:37 UTC

1.0.004-1ubuntu1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/natty 2009-05-27 22:20:14 UTC
1.0.004-1ubuntu1 (patches applied)

Author: Andrea Gasparini
Author Date: 2009-05-27 20:48:37 UTC

1.0.004-1ubuntu1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/maverick-devel 2009-05-27 22:20:14 UTC
1.0.004-1ubuntu1 (patches applied)

Author: Andrea Gasparini
Author Date: 2009-05-27 20:48:37 UTC

1.0.004-1ubuntu1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/maverick 2009-05-27 22:20:14 UTC
1.0.004-1ubuntu1 (patches applied)

Author: Andrea Gasparini
Author Date: 2009-05-27 20:48:37 UTC

1.0.004-1ubuntu1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/lucid-devel 2009-05-27 22:20:14 UTC
1.0.004-1ubuntu1 (patches applied)

Author: Andrea Gasparini
Author Date: 2009-05-27 20:48:37 UTC

1.0.004-1ubuntu1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/lucid 2009-05-27 22:20:14 UTC
1.0.004-1ubuntu1 (patches applied)

Author: Andrea Gasparini
Author Date: 2009-05-27 20:48:37 UTC

1.0.004-1ubuntu1 (patches applied)

Imported using git-ubuntu import.
ubuntu/lucid-devel 2009-05-27 22:20:14 UTC
1.0.004-1ubuntu1 (patches unapplied)

Author: Andrea Gasparini
Author Date: 2009-05-27 20:48:37 UTC

1.0.004-1ubuntu1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/lucid 2009-05-27 22:20:14 UTC
1.0.004-1ubuntu1 (patches unapplied)

Author: Andrea Gasparini
Author Date: 2009-05-27 20:48:37 UTC

1.0.004-1ubuntu1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/maverick 2009-05-27 22:20:14 UTC
1.0.004-1ubuntu1 (patches unapplied)

Author: Andrea Gasparini
Author Date: 2009-05-27 20:48:37 UTC

1.0.004-1ubuntu1 (patches unapplied)

Imported using git-ubuntu import.
1 → 66 of 66 results First • Previous • Next • Last

Other repositories

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