herdtools7 (7.58-1)
Details
Core information at a glance
- Distribution
- ubuntu
- Origin
- ubuntu-stonking
- Repository
- https://nl.archive.ubuntu.com/ubuntu
- Codename
- stonking
- Component
- universe
- Source
- none
- Architecture
- amd64
- Section
- universe/ocaml
- Priority
- optional
- Maintainer
- Ubuntu Developers <[email protected]>
Size & integrity
Byte sizes and integrity verification
- Installed size
- 246.6 kB
- Size expected
- 40.9 MB
- Size actual
- 40.9 MB
- Size match
Suggested packages
Recommended additional packages
- None
Description
Tool suite to test weak memory models
Tags
Package classification tags
None
Checksums
Hash values and integrity verification status
| Type | Actual | Match |
|---|---|---|
| MD5 | 2d7f6bcd…4efcbd40 | |
| SHA-1 | 9f2471bb…b096dce1 | |
| SHA-256 | d9fe0297…3fe502d2 | |
| SHA-512 | 3f0396c2…aa128f1e |
Contents
Files and directories included
. usr usr/bin usr/bin/aslbundler usr/bin/aslref usr/bin/atomize7 usr/bin/atoms7 usr/bin/bento usr/bin/cat2html7 usr/bin/classify7 usr/bin/diy7 usr/bin/diycross7 usr/bin/diyone7 usr/bin/gen_theme7 usr/bin/herd7 usr/bin/jingle7 usr/bin/klitmus7 usr/bin/knames7 usr/bin/ksort7 usr/bin/litmus7 usr/bin/madd7 usr/bin/mapply7 usr/bin/mcat2includes7 usr/bin/mcmp7 usr/bin/mcompare7 usr/bin/mcond7 usr/bin/mcycles7 usr/bin/mdiag7 usr/bin/mdiff7 usr/bin/mexpand7 usr/bin/mfilter7 usr/bin/mfind7 usr/bin/mflags7 usr/bin/mhash7 usr/bin/miaou7 usr/bin/mlisa2c7 usr/bin/mlock7 usr/bin/mlog2cond7 usr/bin/mlog2name7 usr/bin/mmixer7 usr/bin/mnames7 usr/bin/mobserved7 usr/bin/moutcomes7 usr/bin/mprog7 usr/bin/mproj7 usr/bin/mrcu7 usr/bin/mselect7 usr/bin/mshowhashes7 usr/bin/msort7 usr/bin/msum7 usr/bin/mtopos7 usr/bin/mtrue7 usr/bin/nexts7 usr/bin/norm7 usr/bin/readRelax7 usr/bin/recond7 usr/bin/rehash7 usr/bin/splitcond7 usr/bin/splitdot7 usr/share usr/share/doc usr/share/doc/herdtools7 usr/share/doc/herdtools7/README.md usr/share/doc/herdtools7/changelog.Debian.gz usr/share/doc/herdtools7/copyright usr/share/doc/herdtools7/odoc-pages usr/share/doc/herdtools7/odoc-pages/README.mld.gz usr/share/doc/herdtools7/odoc-pages/index.mld