ubuntu/+source/haskell-copilot-theorem:applied/debian/sid

Last commit made on 2024-01-09
Get this branch:
git clone -b applied/debian/sid https://git.launchpad.net/ubuntu/+source/haskell-copilot-theorem
Members of git-ubuntu import can upload to this branch. Log in for directions.

Branch merges

Branch information

Name:
applied/debian/sid
Repository:
lp:ubuntu/+source/haskell-copilot-theorem

Recent commits

149efa3... by Scott Talbert

3.18.1-2 (patches applied)

Imported using git-ubuntu import.

e4014b5... by Scott Talbert

3.18.1-2 (patches unapplied)

Imported using git-ubuntu import.

77bbd82... by Scott Talbert

3.18.1-1 (patches applied)

Imported using git-ubuntu import.

6797c8b... by Scott Talbert

3.18.1-1 (patches unapplied)

Imported using git-ubuntu import.

cf94195... by Scott Talbert

3.17-1 (patches applied)

Imported using git-ubuntu import.

23bcdf9... by Scott Talbert

3.17-1 (patches unapplied)

Imported using git-ubuntu import.

4dfd439... by Ilias Tsitsimpis <email address hidden>

3.16.1-1 (patches applied)

Imported using git-ubuntu import.

ddb3f68... by Ilias Tsitsimpis <email address hidden>

3.16.1-1 (patches unapplied)

Imported using git-ubuntu import.

bc43b2c... by Ilias Tsitsimpis <email address hidden>

newer-what4

No DEP3 Subject or Description header found

Gbp-Pq: newer-what4.

ca324ee... by Scott Talbert

3.13-1 (patches applied)

Imported using git-ubuntu import.