package info (click to toggle)
alt-ergo 0.95.2-3
  • links: PTS, VCS
  • area: main
  • in suites: jessie, jessie-kfreebsd
  • size: 1,528 kB
  • ctags: 3,449
  • sloc: ml: 19,645; makefile: 354

Folder: instances

d .. (parent)
- - rw-r--r-- 103 Makefile
- - rw-r--r-- 11,980 matching.ml
- - rw-r--r-- 2,087 matching.mli