package info (click to toggle)
coq 8.9.0-1
  • links: PTS, VCS
  • area: main
  • in suites: bullseye, buster, sid
  • size: 30,604 kB
  • sloc: ml: 192,230; sh: 2,585; python: 2,206; ansic: 1,878; makefile: 818; lisp: 202; xml: 24; sed: 2

Folder: byterun

d .. (parent)
- - rw-r--r-- 6,458 coq_fix_code.c
- - rw-r--r-- 1,250 coq_fix_code.h
- - rw-r--r-- 2,399 coq_gc.h
- - rw-r--r-- 2,404 coq_instruct.h
- - rw-r--r-- 39,976 coq_interp.c
- - rw-r--r-- 1,141 coq_interp.h
- - rw-r--r-- 4,324 coq_memory.c
- - rw-r--r-- 1,679 coq_memory.h
- - rw-r--r-- 2,953 coq_values.c
- - rw-r--r-- 1,246 coq_values.h
- - rw-r--r-- 54 libcoqrun.clib