package info
(click to toggle)
acl2 7.2dfsg-3
- links: PTS
- area: main
- in suites: stretch
- size: 198,968 kB
- ctags: 182,300
- sloc: lisp: 2,415,261; ansic: 5,675; perl: 5,577; xml: 3,576; sh: 3,255; cpp: 2,835; makefile: 2,440; ruby: 2,402; python: 778; ml: 763; yacc: 709; csh: 355; php: 171; lex: 162; tcl: 44; java: 24; asm: 23; haskell: 17
Folder: patches
 |
.. (parent) | |||
 |
- | rw-r--r-- | 1,366 | %28setq-si%3A%3A%2Aoptimize-maximum-pages%2A-nil%29-in-elementary-bounders.acl2 |
|
- | rw-r--r-- | 1,507 | 4.3 |
|
- | rw-r--r-- | 1,578 | 4.3a |
|
- | rw-r--r-- | 1,514 | abort-centaurvltop-if-insufficient-memory |
|
- | rw-r--r-- | 1,864 | add-upstream-certificate-relocation-patch-to-other-events.lisp |
|
- | rw-r--r-- | 1,953 | clean-interface |
|
- | rw-r--r-- | 1,966 | consolidate-in-6.2 |
|
- | rw-r--r-- | 1,391 | debian-changes-4.1-5 |
|
- | rw-r--r-- | 1,640 | do-not-pre-allocate-contiguous-blocks-in-acl2.lisp |
|
- | rw-r--r-- | 1,376 | fix-elementary-bounders.acl2 |
|
- | rw-r--r-- | 1,611 | grammar-reader-dependency-patch |
|
- | rw-r--r-- | 2,144 | infix-pathname-fix |
|
- | rw-r--r-- | 534,485 | interface-from-5.0 |
|
- | rw-r--r-- | 1,965 | patches.in-replacement |
|
- | rw-r--r-- | 2,106 | pathnames |
|
- | rw-r--r-- | 1,140 | remove-pcert-elementary-bounders-for-final-file |
|
- | rw-r--r-- | 1,369 | remove-pcert-local-elided-for-final-file |
|
- | rw-r--r-- | 169 | series |
|
- | rw-r--r-- | 1,433 | tight-memory-for-centaur-toplint |