package info (click to toggle)
psmt2-frontend 0.4.0-4
  • links: PTS, VCS
  • area: main
  • in suites: sid, trixie
  • size: 452 kB
  • sloc: ml: 2,464; python: 60; makefile: 48

Folder: 0.4.0-4

show hidden (1)
d .. (parent)
d d rwxr-xr-x 30 .github
d d rwxr-xr-x 129 .pc
d d rwxr-xr-x 34 .vscode
d d rwxr-xr-x 4,096 debian
d d rwxr-xr-x 114 docs
d d rwxr-xr-x 130 sphinx
d d rwxr-xr-x 26 src
d d rwxr-xr-x 33 test
- - rw-r--r-- 772 .drom
- - rw-r--r-- 69 .gitignore
- - rw-r--r-- 1,470 .ocamlformat
- - rw-r--r-- 40 .ocamlformat-ignore
- - rw-r--r-- 4,073 .ocp-indent
- - rw-r--r-- 573 CHANGES.md
- - rw-r--r-- 11,357 LICENSE
- - rw-r--r-- 94 LICENSE.md
- - rw-r--r-- 898 Makefile
- - rw-r--r-- 1,156 README.md
- - rw-r--r-- 1,358 drom.toml
- - rw-r--r-- 85 dune
- - rw-r--r-- 885 dune-project
- - rw-r--r-- 1,005 psmt2-frontend.opam
- - rw-r--r-- 1,040 psmt2-frontend_bin.opam