Ubuntu
curry-tools package

ubuntu/+source/curry-tools:applied/ubuntu/zesty-proposed

  1. Git
  2. lp:ubuntu/+source/curry-tools
  3. applied/ubuntu/zesty-proposed
Last commit made on 2017-02-03
Get this branch:
git clone -b applied/ubuntu/zesty-proposed https://git.launchpad.net/ubuntu/+source/curry-tools
Members of git-ubuntu import can upload to this branch. Log in for directions.

Branch merges

Branch information

Name:
applied/ubuntu/zesty-proposed
Repository:
lp:ubuntu/+source/curry-tools

Recent commits

ca8f5dd... by Mike Gabriel

1.0.1+dfsg1-3 (patches applied)

Imported using git-ubuntu import.

c18fd93... by Mike Gabriel

Remove references to the spicey tool for now. Ships old/embedded version of Twitter bootstrap.

Gbp-Pq: 2001_drop-spicey-tool.patch.

80b282f... by Mike Gabriel

[PATCH] --noreadline and REPL_OPTS added to some pakcs calls

Gbp-Pq: 0011-noreadline-and-REPL_OPTS-added-to-some-pakcs-calls.patch.

cb9212d... by Mike Gabriel

[PATCH 2/2] Superfluous output of "which" command suppressed

Gbp-Pq: 0010-Superfluous-output-of-which-command-suppressed.patch.

e29fe1d... by Mike Gabriel

[PATCH 1/2] UTF-8 strings replaced in examples to avoid encoding

Gbp-Pq: 0009-UTF-8-strings-replaced-in-examples-to-avoid-encoding.patch.

06928a9... by Mike Gabriel

[PATCH 8/8] Checking for existence of sqlite3 binary added

Gbp-Pq: 0008-Checking-for-existence-of-sqlite3-binary-added.patch.

380be6c... by Mike Gabriel

[PATCH 7/8] Makefiles changed so that runtest considers variable

Gbp-Pq: 0007-Makefiles-changed-so-that-runtest-considers-variable.patch.

d70570c... by Mike Gabriel

[PATCH 6/8] Analysis documentation updated

Gbp-Pq: 0006-Analysis-documentation-updated.patch.

6f3345b... by Mike Gabriel

[PATCH 5/8] Productivity analysis slightly improved, analysis docs

Gbp-Pq: 0005-Productivity-analysis-slightly-improved-analysis-doc.patch.

81a226e... by Mike Gabriel

[PATCH 4/8] Productivity analysis improved

Gbp-Pq: 0004-Productivity-analysis-improved.patch.