herdtools7

Description:The Herd toolsuite to deal with .cat memory models
License: CeCILL-B
Homepage:http://diy.inria.fr/sources/index.html
Location:Portage
Legend:
  • + - stable
  • ~ - unstable
  • M - hardmask
alpha amd64 arm hppa ia64 m68k mips ppc ppc64 s390 sh sparc x86
7.51 diff - ~ - - - - - - - - - - ~
7.47 - ~ - - - - - - - - - - ~

Also available in: Atom

Thank you!