Binary package “mcrl2” in ubuntu raring
No summary available for mcrl2 in ubuntu raring.
No description available for mcrl2 in ubuntu raring.
Source package
Published versions
- mcrl2 201210.1-1ubuntu1 in amd64 (Proposed)
- mcrl2 201210.1-1ubuntu1 in amd64 (Release)
- mcrl2 201210.1-1ubuntu1 in armhf (Proposed)
- mcrl2 201210.1-1ubuntu1 in armhf (Release)
- mcrl2 201210.1-1ubuntu1 in i386 (Proposed)
- mcrl2 201210.1-1ubuntu1 in i386 (Release)
- mcrl2 201210.1-1ubuntu1 in powerpc (Proposed)
- mcrl2 201210.1-1ubuntu1 in powerpc (Release)