chiark / gitweb /
Add clasp, picosat for release.debian.org (RT #3324)
authorTollef Fog Heen <tfheen@err.no>
Sun, 31 Jul 2011 08:39:44 +0000 (10:39 +0200)
committerTollef Fog Heen <tfheen@err.no>
Sun, 31 Jul 2011 08:39:44 +0000 (10:39 +0200)
commit3b577a7d096b07a5df4598f4ce791cb0e57cf54f
tree607f21811fca9ba4552399bb1b28ca5a65b1337c
parent0bfa5f74929e668dc3dfc5e66a57fafb27321071
Add clasp, picosat for release.debian.org (RT #3324)
debian/changelog
debian/control