sha512 faad077f6c4bd6a680c07e9348c3c322e1d2a5d8ae59a60a45a0da2b451cb2642fbcccefc8a5b68bbfba6bef6a1e8e16dc28d82948d35521aded040346ec4df4
package
filename
size
different function
acl2-books-source
./usr/share/acl2-8.6+dfsg/books/interface/infix/scribe-theory.lisp
6.3 KB
acl2-infix-source
./usr/lib/acl2-8.6+dfsg/books/interface/infix/scribe-theory.lisp
6.3 KB
Details about this service
More information:
see wiki
Maintainer: Helmut Grohne <helmut@subdivi.de>
Source: git://git.subdivi.de/~helmut/debian-dedup.git
Bugs reports / Feedback / Patches: to the maintainer