Thread: Primo
View Single Post
Old 2012-03-20, 13:20   #1
ET_
Banned
 
ET_'s Avatar
 
"Luigi"
Aug 2002
Team Italia

11·433 Posts
Default Primo

A new version is out:

v4.0.0 - alpha 14 (March 16, 2012)

Fixed a bug concerning the new class invariants added to v. alpha 13. Due to this bug, a certification could be aborted by Primo (internal error 4.0.2.1) during the phase #2. Thanks to Frank Schickel who reported it.

Luigi
ET_ is offline   Reply With Quote