File: bundle-info.sexp

package info (click to toggle)
acl2 8.3dfsg-2
  • links: PTS
  • area: main
  • in suites: bullseye
  • size: 309,408 kB
  • sloc: lisp: 3,311,842; javascript: 22,569; cpp: 9,029; ansic: 7,872; perl: 6,501; xml: 3,838; java: 3,738; makefile: 3,383; ruby: 2,633; sh: 2,489; ml: 763; python: 741; yacc: 721; awk: 260; csh: 186; php: 171; lex: 154; tcl: 49; asm: 23; haskell: 17
file content (18 lines) | stat: -rw-r--r-- 829 bytes parent folder | download
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
(:CREATION-TIME "2018-11-04T20:54:08Z" :REQUESTED-SYSTEMS
 ("bordeaux-threads" "bt-semaphore" "cl-fad" "hunchentoot" "osicat"
  "uiop" "html-template" "shellpool" "babel")
 :LISP-INFO
 (:MACHINE-INSTANCE "dlr-mint" :MACHINE-TYPE "x86_64"
  :MACHINE-VERSION "Intel(R) Core(TM) i7-7700HQ CPU @ 2.80GHz"
  :LISP-IMPLEMENTATION-TYPE "Clozure Common Lisp"
  :LISP-IMPLEMENTATION-VERSION
  "Version 1.12-dev/v1.12-dev.0-39-g030b03e  (LinuxX8664)")
 :QUICKLISP-INFO
 (:HOME
  "/home/ragerdl/r/acl2-update-quicklisp-nov2018/books/quicklisp/temp-quicklisp-inst/"
  :LOCAL-PROJECT-DIRECTORIES
  ("/home/ragerdl/r/acl2-update-quicklisp-nov2018/books/quicklisp/temp-quicklisp-inst/local-projects/")
  :DISTS
  ((:NAME "quicklisp" :DIST-URL
    "http://beta.quicklisp.org/dist/quicklisp/2018-10-18/distinfo.txt"
    :VERSION "2018-10-18"))))