» Ubuntu » Paket » precise (12.04LTS) » math » mcrl2
precise  ] [  quantal  ] [  raring  ] [  saucy  ] [  trusty  ]
[ Källkod: mcrl2  ]

Paket: mcrl2 (201107.1-1) [universe]

Länkar för mcrl2

Screenshot

Ubunturesurser:

Hämta källkodspaketet mcrl2:

Ansvarig:

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainer (usually from Debian):

  • Paul van Tilburg

It should generally not be necessary for users to contact the original maintainer.

Externa resurser:

Liknande paket:

formal specification language toolset

Andra paket besläktade med mcrl2

  • beror
  • rekommenderar
  • föreslår

Hämta mcrl2

Hämtningar för alla tillgängliga arkitekturer
Arkitektur Paketstorlek Installerad storlek Filer
amd64 14.241,4 kbyte42.033,0 kbyte [filförteckning]
i386 14.332,7 kbyte41.099,0 kbyte [filförteckning]