package info (click to toggle)
rumur 2025.08.31-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 3,644 kB
  • sloc: cpp: 18,711; ansic: 3,825; python: 1,578; objc: 1,542; yacc: 568; sh: 331; lex: 241; lisp: 15; makefile: 5

Folder: 2025.08.31-1

show hidden (1)
d .. (parent)
d d rwxr-xr-x 104 .pc
d d rwxr-xr-x 119 common
d d rwxr-xr-x 4,096 debian
d d rwxr-xr-x 4,096 doc
d d rwxr-xr-x 95 librumur
d d rwxr-xr-x 4,096 misc
d d rwxr-xr-x 63 murphi-format
d d rwxr-xr-x 83 murphi2c
d d rwxr-xr-x 63 murphi2murphi
d d rwxr-xr-x 63 murphi2smv
d d rwxr-xr-x 63 murphi2uclid
d d rwxr-xr-x 63 murphi2xml
d d rwxr-xr-x 83 rumur
d d rwxr-xr-x 4,096 share
d d rwxr-xr-x 12,288 tests
- - rw-r--r-- 6,896 .cirrus.yml
- - rw-r--r-- 24 .clang-format
- - rw-r--r-- 70,809 CHANGELOG.rst
- - rw-r--r-- 5,477 CMakeLists.txt
- - rw-r--r-- 738 CONTRIBUTING.rst
- - rw-r--r-- 1,210 LICENSE
- l rwxrwxrwx 13 NEWS → CHANGELOG.rst
- - rw-r--r-- 3,172 README.rst