Parents (Total: 1)
The searched file hash is included in 1 parent files which include package known and seen by metalookup. A sample is included below:
| Key |
Value |
| FileSize | 757360 |
| MD5 | 8D9F5EE285FD32566E6F072EAFBB5F5E |
| PackageDescription | Collection of theories and plugins for Coq
This package provides a collection of theories and plugins
that may be useful in other Coq developments.
.
Coq is a proof assistant for higher-order logic. |
| PackageMaintainer | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| PackageName | libcoq-ext-lib |
| PackageSection | ocaml |
| PackageVersion | 0.11.7-1+b1 |
| SHA-1 | 400505FF551681EFB76722B1737995BA2C461209 |
| SHA-256 | 1D3E06DC79106F3B8713EA68CA33005631CB1EE64777EE793D94F3718DF46BBE |