Log in / Register
Ubuntu
Overview
Code
Bugs
Blueprints
Translations
Answers
Binary package “mcrl2” in ubuntu utopic
Utopic (14.10)
mcrl2
No summary available for mcrl2 in ubuntu utopic.
No description available for mcrl2 in ubuntu utopic.
Source package
mcrl2 201210.1-1ubuntu1 source package in Ubuntu
Published versions
mcrl2 201210.1-1ubuntu1 in amd64 (Release)
mcrl2 201210.1-1ubuntu1 in arm64 (Release)
mcrl2 201210.1-1ubuntu1 in armhf (Release)
mcrl2 201210.1-1ubuntu1 in i386 (Release)
mcrl2 201210.1-1ubuntu1 in powerpc (Release)
mcrl2 201210.1-1ubuntu1 in ppc64el (Release)