Version of sail-ocaml: 0.20.3+dfsg-1
Architecture of sail-ocaml: amd64
Version of libsail-ocaml-dev: 0.20.3+dfsg-1
Architecture of libsail-ocaml-dev: amd64
| sail-ocaml | libsail-ocaml-dev | ||
|---|---|---|---|
| size | filename | hash functions | filename |
| 8.3 KB | ./usr/share/doc/sail-ocaml/changelog.gz | gzip_sha512, sha512 | ./usr/share/doc/libsail-ocaml-dev/changelog.gz |
| gzip_sha512 → sha512 | ./usr/share/ocaml-dune/doc/libsail/CHANGELOG.md | ||
| gzip_sha512 → sha512 | ./usr/share/ocaml-dune/doc/sail/CHANGELOG.md | ||
| gzip_sha512 → sha512 | ./usr/share/ocaml-dune/doc/sail_c_backend/CHANGELOG.md | ||
| gzip_sha512 → sha512 | ./usr/share/ocaml-dune/doc/sail_coq_backend/CHANGELOG.md | ||
| gzip_sha512 → sha512 | ./usr/share/ocaml-dune/doc/sail_doc_backend/CHANGELOG.md | ||
| gzip_sha512 → sha512 | ./usr/share/ocaml-dune/doc/sail_latex_backend/CHANGELOG.md | ||
| gzip_sha512 → sha512 | ./usr/share/ocaml-dune/doc/sail_lean_backend/CHANGELOG.md | ||
| gzip_sha512 → sha512 | ./usr/share/ocaml-dune/doc/sail_lem_backend/CHANGELOG.md | ||
| gzip_sha512 → sha512 | ./usr/share/ocaml-dune/doc/sail_maker/CHANGELOG.md | ||
| gzip_sha512 → sha512 | ./usr/share/ocaml-dune/doc/sail_ocaml_backend/CHANGELOG.md | ||
| gzip_sha512 → sha512 | ./usr/share/ocaml-dune/doc/sail_output/CHANGELOG.md | ||
| gzip_sha512 → sha512 | ./usr/share/ocaml-dune/doc/sail_smt_backend/CHANGELOG.md | ||
| gzip_sha512 → sha512 | ./usr/share/ocaml-dune/doc/sail_sv_backend/CHANGELOG.md | ||
| 7.9 KB | ./usr/share/doc/sail-ocaml/copyright | sha512 | ./usr/share/doc/libsail-ocaml-dev/copyright |
| 443 B | ./usr/share/doc/sail-ocaml/changelog.Debian.gz | gzip_sha512, sha512 | ./usr/share/doc/libsail-ocaml-dev/changelog.Debian.gz |