Ubuntu
coq-elpi package

ubuntu/+source/coq-elpi:applied/ubuntu/mantic-devel

  1. Git
  2. lp:ubuntu/+source/coq-elpi
  3. applied/ubuntu/mantic-devel
Last commit made on 2023-08-28
Get this branch:
git clone -b applied/ubuntu/mantic-devel https://git.launchpad.net/ubuntu/+source/coq-elpi
Members of git-ubuntu import can upload to this branch. Log in for directions.

Branch merges

Branch information

Name:
applied/ubuntu/mantic-devel
Repository:
lp:ubuntu/+source/coq-elpi

Recent commits

be66b9a... by Gianfranco Costamagna

1.17.1-1build8 (patches applied)

Imported using git-ubuntu import.

20b0492... by Gianfranco Costamagna

fix the install target

Gbp-Pq: make_install.patch.

f7a7a66... by Gianfranco Costamagna

make warning 69 just a warning

Gbp-Pq: warning_69.patch.

269e376... by Gianfranco Costamagna

1.17.1-1build8 (patches unapplied)

Imported using git-ubuntu import.

9736943... by Gianfranco Costamagna

1.17.1-1build7 (patches applied)

Imported using git-ubuntu import.

e8ad930... by Gianfranco Costamagna

1.17.1-1build7 (patches unapplied)

Imported using git-ubuntu import.

be59f12... by Gianfranco Costamagna

fix the install target

Gbp-Pq: make_install.patch.

98a881a... by Gianfranco Costamagna

make warning 69 just a warning

Gbp-Pq: warning_69.patch.

ccb03ab... by Gianfranco Costamagna

1.17.1-1build6 (patches applied)

Imported using git-ubuntu import.

aab55c6... by Gianfranco Costamagna

1.17.1-1build6 (patches unapplied)

Imported using git-ubuntu import.