package info (click to toggle)
coq-iris 4.1.0-1
  • links: PTS, VCS
  • area: main
  • in suites: sid, trixie
  • size: 3,928 kB
  • sloc: python: 350; makefile: 58; sh: 28; sed: 5

Folder: 4.1.0-1

show hidden (1)
d .. (parent)
d d rwxr-xr-x 36 .gitlab
d d rwxr-xr-x 104 .pc
d d rwxr-xr-x 125 benchmark
d d rwxr-xr-x 4,096 debian
d d rwxr-xr-x 4,096 docs
d d rwxr-xr-x 143 iris
d d rwxr-xr-x 71 iris_deprecated
d d rwxr-xr-x 4,096 iris_heap_lang
d d rwxr-xr-x 85 iris_unstable
d d rwxr-xr-x 4,096 tests
d d rwxr-xr-x 4,096 tex
- - rw-r--r-- 135 .gitattributes
- - rw-r--r-- 240 .gitignore
- - rw-r--r-- 1,895 .gitlab-ci.yml
- - rw-r--r-- 104,341 CHANGELOG.md
- - rw-r--r-- 6,285 CONTRIBUTING.md
- - rw-r--r-- 352 LICENSE
- - rw-r--r-- 1,780 LICENSE-CODE
- - rw-r--r-- 18,975 LICENSE-DOCS
- - rw-r--r-- 1,937 Makefile
- - rw-r--r-- 2,476 Makefile.coq.local
- - rw-r--r-- 43 ProofMode.md
- - rw-r--r-- 9,595 README.md
- - rw-r--r-- 5,806 _CoqProject
- - rw-r--r-- 617 coq-iris-deprecated.opam
- - rw-r--r-- 682 coq-iris-heap-lang.opam
- - rw-r--r-- 660 coq-iris-unstable.opam
- - rw-r--r-- 1,282 coq-iris.opam
- - rwxr-xr-x 549 coq-lint.sh
- - rwxr-xr-x 9,211 iris-bot
- - rwxr-xr-x 938 make-package
- - rw-r--r-- 419 test-normalizer.sed