Ubuntu
maude package

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

  1. Git
  2. lp:ubuntu/+source/maude
  3. applied/ubuntu/vivid-devel
Last commit made on 2014-10-02
Get this branch:
git clone -b applied/ubuntu/vivid-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/vivid-devel
Repository:
lp:ubuntu/+source/maude

Recent commits

d18072d... by Andreas Tille

2.6-6 (patches applied)

Imported using git-ubuntu import.

5afebf6... by Andreas Tille

fix yet another build error:

Gbp-Pq: lexbubble-semicolons.patch.

3222cb7... by Andreas Tille

Types of the arguments for YY_INPUT has changed from int to

Gbp-Pq: getinput-size_t.patch.

5093135... by Andreas Tille

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

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

9177d48... by Andreas Tille

search-datadir.patch

No DEP3 Subject or Description header found

Gbp-Pq: search-datadir.patch.

c887547... by Andreas Tille

2.6-6 (patches unapplied)

Imported using git-ubuntu import.

e36d6c0... by Andreas Tille

2.6-5 (patches applied)

Imported using git-ubuntu import.

3881ddc... by Andreas Tille

2.6-5 (patches unapplied)

Imported using git-ubuntu import.

e6b9544... by Andreas Tille

fix yet another build error:

Gbp-Pq: lexbubble-semicolons.patch.

017bb7b... by Andreas Tille

Types of the arguments for YY_INPUT has changed from int to

Gbp-Pq: getinput-size_t.patch.