Accepted:
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA512
Format: 1.8
Date: Tue, 10 Jul 2018 14:11:49 +0200
Source: cl-interpol
Binary: cl-interpol
Architecture: source
Version: 20171227-2
Distribution: unstable
Urgency: medium
Maintainer: Debian Common Lisp Team
Changed-By: Sébastien
Accepted:
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA512
Format: 1.8
Date: Tue, 10 Jul 2018 12:19:52 +0200
Source: slime
Binary: slime cl-swank
Architecture: source
Version: 2:2.21+dfsg-2
Distribution: unstable
Urgency: medium
Maintainer: Debian Common Lisp Team
Changed-By: Sébastien
slime_2.21+dfsg-2_source.changes uploaded successfully to localhost
along with the files:
slime_2.21+dfsg-2.dsc
slime_2.21+dfsg-2.debian.tar.xz
slime_2.21+dfsg-2_amd64.buildinfo
Greetings,
Your Debian queue daemon (running on host usper.debian.org)
Dear Isidor,
On Tue, Jul 03, 2018 at 03:46:12PM +0200, Isidor Zeuner wrote:
> with pleasure I noticed that Debian still packages the good old HOL88
> theorem proving tool.
>
> I was wondering whether a port to the SBCL Common Lisp implementation
> would be of any interest to, for packaging