Ubuntu
maude package

ubuntu/+source/maude:applied/ubuntu/cosmic-devel

  1. Git
  2. lp:ubuntu/+source/maude
  3. applied/ubuntu/cosmic-devel
Last commit made on 2016-04-05
Get this branch:
git clone -b applied/ubuntu/cosmic-devel https://git.launchpad.net/ubuntu/+source/maude
Members of git-ubuntu import can upload to this branch. Log in for directions.

Branch merges

Branch information

Name:
applied/ubuntu/cosmic-devel
Repository:
lp:ubuntu/+source/maude

Recent commits

292aafb... by Andreas Tille

2.7-2 (patches applied)

Imported using git-ubuntu import.

56536b7... by Andreas Tille

Strip build date

Gbp-Pq: strip-build-date.patch.

9608c18... by Andreas Tille

Types of the arguments for YY_INPUT has changed from int to

Gbp-Pq: getinput-size_t.patch.

21af496... by Andreas Tille

this is quick and dirty patch to use %parse-param instead

Gbp-Pq: bison-parse-param.patch.

716d564... by Andreas Tille

search-datadir.patch

No DEP3 Subject or Description header found

Gbp-Pq: search-datadir.patch.

11eac4d... by Andreas Tille

2.7-2 (patches unapplied)

Imported using git-ubuntu import.

70466f2... by Andreas Tille

2.7-1 (patches applied)

Imported using git-ubuntu import.

d9cc171... by Andreas Tille

2.7-1 (patches unapplied)

Imported using git-ubuntu import.

a35bd97... by Andreas Tille

Types of the arguments for YY_INPUT has changed from int to

Gbp-Pq: getinput-size_t.patch.

ce41ebb... by Andreas Tille

this is quick and dirty patch to use %parse-param instead

Gbp-Pq: bison-parse-param.patch.