package info (click to toggle)
ocamlcreal 0.7-6
  • links: PTS, VCS
  • area: main
  • in suites: bullseye, buster, jessie, jessie-kfreebsd, sid, squeeze, stretch, wheezy
  • size: 384 kB
  • ctags: 751
  • sloc: ml: 2,699; ansic: 1,067; makefile: 15

Folder: 0.7-6

d .. (parent)
d d rwxr-xr-x 4,096 debian
d d rwxr-xr-x 4,096 mlgmp
- - rw-r--r-- 938 .depend
- - rw-r--r-- 1,803 CHANGES
- - rw-r--r-- 740 COPYING
- - rw-r--r-- 25,275 LGPL
- - rw-r--r-- 5,764 Makefile.in
- - rw-r--r-- 1,377 README
- - rw-r--r-- 15,904 calc.ml
- - rw-r--r-- 4,517 calc.mll
- - rw-r--r-- 2,129 cmpf.ml
- - rw-r--r-- 1,143 cmpf.mli
- - rwxr-xr-x 35,869 configure
- - rw-r--r-- 3,504 configure.in
- - rw-r--r-- 26,632 cr.ml
- - rw-r--r-- 2,448 cr.mli
- - rw-r--r-- 23,596 creal.ml
- - rw-r--r-- 3,343 creal.mli
- - rw-r--r-- 1,977 creal.spec.in
- - rw-r--r-- 150 creal_pp.ml
- - rw-r--r-- 50 creal_pp.mli
- - rw-r--r-- 219 gmp_pp.ml
- - rw-r--r-- 51 gmp_pp.mli
- - rw-r--r-- 330 install_creal_pp.ml
- - rw-r--r-- 436 install_gmp_pp.ml
- - rw-r--r-- 839 md.ml
- - rw-r--r-- 874 md_cr.ml
- - rw-r--r-- 5,025 test.ml
- - rw-r--r-- 103 test_cmp.ml
- - rw-r--r-- 4,972 test_cr.ml
- - rw-r--r-- 324 testcr.ml
- - rw-r--r-- 1,028 trace.ml