package info (click to toggle)
flocq 4.2.1-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 2,668 kB
  • sloc: cpp: 2,077; makefile: 16

Folder: 4.2.1-1

show hidden (1)
d .. (parent)
d d rwxr-xr-x 104 .pc
d d rwxr-xr-x 4,096 debian
d d rwxr-xr-x 4,096 examples
d d rwxr-xr-x 110 src
- - rw-r--r-- 88 AUTHORS
- - rw-r--r-- 7,651 COPYING
- - rw-r--r-- 1,145 INSTALL.md
- - rw-r--r-- 13,861 NEWS.md
- - rw-r--r-- 722 README.md
- - rw-r--r-- 4,384 Remakefile.in
- - rw-r--r-- 13 _CoqProject
- - rw-r--r-- 2,257 configure.in
- - rw-r--r-- 83,214 remake.cpp