Total 3 Port(s) with Variant: ccl
Name Version Description
acl2 8.2 Applicative Common Lisp / A Computational Logic
fricas 1.3.6 The Fricas computer algebra system
slime 2.20 An Emacs mode for unifying Common Lisp development

Port Information was last updated at:
2020-07-14 05:52 (UTC)

Latest build fetched has 'start time':
2020-07-14 05:32 (UTC)

Latest stats submission was received at:
2020-07-14 06:56 (UTC)