Great, thanks!
Diese E-Mail und die Anhaenge koennen vertrauliche und/oder rechtlich
geschuetzte Informationen enthalten. Jegliches unbefugtes Kopieren,
Veroeffentlichen, Verteilen oder Verbreiten der Inhalte ist
untersagt. / This e-mail and its attachments may contain confidential
and/or legally
Dear Sébastien,
dear Camm,
thanks for having a look.
My apologies if the list was the wrong place for asking. However,
I don't know too much about the Debian package maintenance
policies.
In particular, it wasn't obvious to me whether the maintenance
decision for the current hol88 package is mo
On Tue, Jul 10, 2018 at 12:33:47PM +0200, Sébastien Villemot wrote:
> 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 th
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 purpo
Dear Debian Common Lisp team,
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 purposes. While I like the
currently used implementation GCL f
