Ubuntu
coq-hammer package

ubuntu/+source/coq-hammer:applied/ubuntu/noble-proposed

  1. Git
  2. lp:ubuntu/+source/coq-hammer
  3. applied/ubuntu/noble-proposed
Last commit made on 2024-04-08
Get this branch:
git clone -b applied/ubuntu/noble-proposed https://git.launchpad.net/ubuntu/+source/coq-hammer
Members of git-ubuntu import can upload to this branch. Log in for directions.

Branch merges

Branch information

Name:
applied/ubuntu/noble-proposed
Repository:
lp:ubuntu/+source/coq-hammer

Recent commits

bd51c38... by Gianfranco Costamagna

1.3.2+8.18-1build3 (patches applied)

Imported using git-ubuntu import.

90a593b... by Gianfranco Costamagna

put internal executables away in /usr/libexec

Gbp-Pq: use_libexec.patch.

b3ea7b4... by Gianfranco Costamagna

1.3.2+8.18-1build3 (patches unapplied)

Imported using git-ubuntu import.

2e13e2e... by Steve Langasek

1.3.2+8.18-1build2 (patches applied)

Imported using git-ubuntu import.

3bffd69... by Steve Langasek

1.3.2+8.18-1build2 (patches unapplied)

Imported using git-ubuntu import.

7f4ac5e... by Steve Langasek

put internal executables away in /usr/libexec

Gbp-Pq: use_libexec.patch.

1e60828... by Steve Langasek

1.3.2+8.18-1build1 (patches applied)

Imported using git-ubuntu import.

e2cb87c... by Steve Langasek

1.3.2+8.18-1build1 (patches unapplied)

Imported using git-ubuntu import.

142a617... by Steve Langasek

put internal executables away in /usr/libexec

Gbp-Pq: use_libexec.patch.

44ade83... by Julien Puydt <email address hidden>

1.3.2+8.18-1 (patches applied)

Imported using git-ubuntu import.