Ubuntu
eprover package

ubuntu/+source/eprover:applied/debian/bookworm

  1. Git
  2. lp:ubuntu/+source/eprover
  3. applied/debian/bookworm
Last commit made on 2022-07-14
Get this branch:
git clone -b applied/debian/bookworm https://git.launchpad.net/ubuntu/+source/eprover
Members of git-ubuntu import can upload to this branch. Log in for directions.

Branch merges

Branch information

Name:
applied/debian/bookworm
Repository:
lp:ubuntu/+source/eprover

Recent commits

1de41e4... by Julien Puydt <email address hidden>

2.6+ds-3 (patches applied)

Imported using git-ubuntu import.

7335158... by Julien Puydt <email address hidden>

try to make PROVER/Makefile minimal

Gbp-Pq: simplify_PROVER_Makefile.patch.

b4cc429... by Julien Puydt <email address hidden>

fix typos

Gbp-Pq: typos.patch.

88f6941... by Julien Puydt <email address hidden>

use the system's picosat instead of the vendored one

Gbp-Pq: unvendor_picosat.patch.

4b0d69e... by Julien Puydt <email address hidden>

shorten PROVER/Makefile

Gbp-Pq: local_libs.patch.

552eea2... by Julien Puydt <email address hidden>

2.6+ds-3 (patches unapplied)

Imported using git-ubuntu import.

4dd0baa... by Julien Puydt <email address hidden>

2.6+ds-2 (patches applied)

Imported using git-ubuntu import.

49f4424... by Julien Puydt <email address hidden>

2.6+ds-2 (patches unapplied)

Imported using git-ubuntu import.

0069c87... by Julien Puydt <email address hidden>

try to make PROVER/Makefile minimal

Gbp-Pq: simplify_PROVER_Makefile.patch.

8dc1872... by Julien Puydt <email address hidden>

fix typos

Gbp-Pq: typos.patch.