Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Sep 18, 2014

• Fix name in copyright to be in accordance with newest upstream.

  mdeters

  committed
  57ea424

  Copy full SHA for 57ea424

• Clarification of channel.h license

  mdeters

  committed
  6e55e0f

  Copy full SHA for 6e55e0f

• Machine-readable copyright file, as per policy

  mdeters

  committed
  79099ea

  Copy full SHA for 79099ea

Commits on Sep 17, 2014

• Adjust cvc4 packaging as per mentor's suggestion. (Thanks Michael Tautschnig.)

  mdeters

  committed
  08ba723

  Copy full SHA for 08ba723

Commits on Aug 7, 2014

• Travis-CI should check master against stable, and devel against latest master.

  mdeters

  committed
  77a6d96

  Copy full SHA for 77a6d96

• regen packages for stable

  mdeters

  committed
  d02c319

  Copy full SHA for d02c319

Commits on Aug 6, 2014

• remove old readline requirement

  mdeters

  committed
  c16689e

  Copy full SHA for c16689e

Commits on Aug 5, 2014

• Another fix

  mdeters

  committed
  7e9e306

  Copy full SHA for 7e9e306

• fixes

  mdeters

  committed
  e63c293

  Copy full SHA for e63c293

• fix patch

  mdeters

  committed
  e6f147e

  Copy full SHA for e6f147e

• Fixes to Debian packaging.

  mdeters

  committed
  58da0b8

  Copy full SHA for 58da0b8

• Strip libraries on install

  mdeters

  committed
  05bcebb

  Copy full SHA for 05bcebb

• mention itp bugfix in changelog

  mdeters

  committed
  00c0033

  Copy full SHA for 00c0033

• more

  mdeters

  committed
  7dbf2b1

  Copy full SHA for 7dbf2b1

• use my @morgandeters.com address

  mdeters

  committed
  29abba1

  Copy full SHA for 29abba1

• review package

  mdeters

  committed
  b27f989

  Copy full SHA for b27f989

• Recommendations for portfile fixes from macports team

  mdeters

  committed
  bb66ddb

  Copy full SHA for bb66ddb

Commits on Aug 4, 2014

• fix desc

  mdeters

  committed
  b95e959

  Copy full SHA for b95e959

• fix

  mdeters

  committed
  c96612c

  Copy full SHA for c96612c

• Remove unsupported language bindings

  mdeters

  committed
  d4d61ca

  Copy full SHA for d4d61ca

• don't build readline into mac binaries

  mdeters

  committed
  21daf83

  Copy full SHA for 21daf83

• Symbols files and other fixes for Debian packaging.

  mdeters

  committed
  091caa4

  Copy full SHA for 091caa4

• Better description

  mdeters

  committed
  7f572f3

  Copy full SHA for 7f572f3

Commits on Jul 13, 2014

• updates

  mdeters

  committed
  4abda5c

  Copy full SHA for 4abda5c

• Versioning for 1.4.

  mdeters

  committed
  b1943b2

  Copy full SHA for b1943b2

Commits on Jun 22, 2014

• works now

  mdeters

  committed
  3286aac

  Copy full SHA for 3286aac

• Increase Debian packaging standards versions, fix more lintian warnings..

  mdeters

  committed
  73df6fe

  Copy full SHA for 73df6fe

Commits on Jun 21, 2014

• new version in changelog

  mdeters

  committed
  49bc1ef

  Copy full SHA for 49bc1ef

• fix some lintian stuff

  mdeters

  committed
  d8e1492

  Copy full SHA for d8e1492

Commits on Jun 19, 2014

• Update versioning

  mdeters

  committed
  f46466e

  Copy full SHA for f46466e

Commits on Jun 18, 2014

• reversion---readline won't work in macport 'til tomorrow

  mdeters

  committed
  57f15ee

  Copy full SHA for 57f15ee

• fixed readline

  mdeters

  committed
  fe41963

  Copy full SHA for fe41963

• remove readline from port, for now

  mdeters

  committed
  cc49087

  Copy full SHA for cc49087

• Update version/checksum info.

  mdeters

  committed
  d062b8d

  Copy full SHA for d062b8d

Commits on Jun 17, 2014

• Remove libstdc++ hacks.

  mdeters

  committed
  ac0d3d2

  Copy full SHA for ac0d3d2

Pagination

Previous

Next