Package - libcoq-reglang
Primary informations
Download package: http://deb.debian.org/debian/pool/main/c/coq-reglang/libcoq-reglang_1.2.1-4+b14_amd64.deb (Size: 855.0KiB)| Property | Value |
|---|---|
| Package | libcoq-reglang |
| Source | coq-reglang (1.2.1-4) |
| Version | 1.2.1-4+b14 |
| Installed-Size | 2834 |
| Maintainer | Debian OCaml Maintainers |
| Architecture | amd64 |
| Provides | libcoq-reglang-c3e50 |
| Depends | libcoq-mathcomp-ssreflect-08jv4, libcoq-stdlib-68yx1 |
| Description | representation of regular languages in Coq |
| Description-md5 | 407ad3a353f8ee596e70400372502d8c |
| Homepage | https://github.com/coq-community/reglang |
| Section | ocaml |
| Priority | optional |
| Filename | pool/main/c/coq-reglang/libcoq-reglang_1.2.1-4+b14_amd64.deb |
| Size | 875484 |
| MD5sum | 5cf5d94158cc0e766cc98eb2f0ae90a2 |
| SHA256 | 16437eb5461f270e22f7c00ce795099c73219bcdf876e8576da17616436dfa1f |
Files in package
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-reglang/META
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-reglang/dune-package
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-reglang/opam
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RegLang/dfa.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RegLang/dfa.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RegLang/dfa.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RegLang/languages.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RegLang/languages.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RegLang/languages.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RegLang/minimization.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RegLang/minimization.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RegLang/minimization.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RegLang/misc.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RegLang/misc.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RegLang/misc.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RegLang/myhill_nerode.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RegLang/myhill_nerode.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RegLang/myhill_nerode.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RegLang/nfa.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RegLang/nfa.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RegLang/nfa.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RegLang/regexp.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RegLang/regexp.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RegLang/regexp.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RegLang/setoid_leq.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RegLang/setoid_leq.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RegLang/setoid_leq.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RegLang/shepherdson.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RegLang/shepherdson.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RegLang/shepherdson.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RegLang/two_way.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RegLang/two_way.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RegLang/two_way.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RegLang/vardi.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RegLang/vardi.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RegLang/vardi.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RegLang/wmso.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RegLang/wmso.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RegLang/wmso.vo
- /usr/share/doc/libcoq-reglang/changelog.Debian.amd64.gz
- /usr/share/doc/libcoq-reglang/changelog.Debian.gz
- /usr/share/doc/libcoq-reglang/copyright
- /var/lib/coq/md5sums/libcoq-reglang.checksum