package info (click to toggle)
swi-prolog 8.0.2+dfsg-3+deb10u1
  • links: PTS, VCS
  • area: main
  • in suites: buster
  • size: 72,036 kB
  • sloc: ansic: 349,612; perl: 306,654; java: 5,208; cpp: 4,436; sh: 3,042; ruby: 1,594; yacc: 845; makefile: 136; xml: 82; sed: 12; sql: 6

Folder: paxos

d .. (parent)
d d rwxr-xr-x 76 demo
d d rwxr-xr-x 30 doc
d d rwxr-xr-x 117 test
- - rw-r--r-- 197 CMakeLists.txt
- - rw-r--r-- 2,224 README.md
- - rwxr-xr-x 4,771 install-sh
- - rw-r--r-- 842 paxos.doc
- - rw-r--r-- 38,820 paxos.pl