|
|
Linux temps réel embarqué et outils de développements
|
Technique |
|
cl-rsm-modal
cl-rsm-modal | McIntire's Common Lisp Modal Logic Library | Priority | |
Section | devel |
Installed size | 92 |
Maintainer | Peter Van Eynde <pvaneynd@debian.org> |
Architecture | all |
Version | 1.1 |
Depends | common-lisp-controller (>= 3.37) |
Suggests | doc-rfc-std-proposed |
File name | pool/main/c/cl-rsm-modal/cl-rsm-modal_1.1_all.deb |
Description | This is R. Scott McIntire's Common Lisp modal logic library. |
|
|