Ubuntu
mcrl2 package

mcrl2 201409.0-1ubuntu2 source package in Ubuntu

Changelog

mcrl2 (201409.0-1ubuntu2) yakkety; urgency=medium

  * Rebuild against libgl2ps1.

 -- Gianfranco Costamagna <email address hidden>  Tue, 31 May 2016 12:37:01 +0200

Upload details

Uploaded by:
Gianfranco Costamagna
Uploaded to:
Yakkety
Original maintainer:
Ubuntu Developers
Architectures:
any
Section:
math
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section

Downloads

File Size SHA-256 Checksum
mcrl2_201409.0.orig.tar.gz 16.6 MiB 322fa8835d7500bfe3e679a2d19c96e3c235d17af4ad3e674b564a2d5edaff3f
mcrl2_201409.0-1ubuntu2.debian.tar.xz 6.8 KiB 88d3bbf16bea3422e272694d7899102a03fea0c316e21074d9f41f925887cf3e
mcrl2_201409.0-1ubuntu2.dsc 2.1 KiB fb3c744f18fb8574d159bf195e3c62701535467a4c9a3d05208b454c8394193e

View changes file

Binary packages built by this source

mcrl2: No summary available for mcrl2 in ubuntu artful.

No description available for mcrl2 in ubuntu artful.