packages/NuSMV.git
2016-10-18 Jan Rękorajski- add missing headers/defs required for vfork/wait3 master auto/th/NuSMV-2.5.4-10
2016-10-18 Jan Rękorajski- rebuild with readline 7.0 auto/th/NuSMV-2.5.4-9
2015-12-12 Arkadiusz Miśkiewicz- rel 8; build fixed auto/th/NuSMV-2.5.4-8
2015-12-12 Arkadiusz Miśkiewicz- release 7 (by relup.sh)
2015-12-05 Arkadiusz Miśkiewicz- ncurses rebuild auto/th/NuSMV-2.5.4-6
2012-11-18 Jan Rękorajski- no parallel make for docs auto/th/NuSMV-2.5.4-5
2012-11-18 Jan Rękorajski- release 4 (by relup.sh) auto/th/NuSMV-2.5.4-4
2012-11-14 Jan Rękorajski- fix building with -Wformat-security
2012-11-11 Jan Rękorajski- rebuild with expat 2.1.0 auto/th/NuSMV-2.5.4-2
2012-06-24 Jan Rękorajski- package librbcdag
2012-06-24 Jan Rękorajski- up to 2.5.4
2012-06-24 Jan Rękorajski- rel 2 auto/th/NuSMV-2_5_2-2
2012-06-24 Jan Rękorajski- fixed build and install
2012-06-24 Jan Rękorajski- updated to 2.5.2
2012-06-24 Jan Rękorajski- show commands run by make
2012-06-24 Jan Rękorajski- drop libtool file
2012-06-24 Jan Rękorajski- 2.5.2
2012-06-24 Jan Rękorajski- updated to 2.5.0
2012-06-24 Jan Rękorajski- updated to 2.5.0
2012-06-24 sparky- BR: unzip
2012-06-24 Jan Rękorajski- no parallel install
2012-06-24 Jan Rękorajski- setup MiniSat and zChaff solvers for building
2012-06-24 Jan Rękorajski- rel 3
2012-06-24 Jan Rękorajski- rel 2 auto/th/NuSMV-2_4_3-2
2012-06-24 Jan Rękorajski- rel 1 auto/th/NuSMV-2_4_3-1
2012-06-24 Jan Rękorajski- fixed hack
2012-06-24 Jan Rękorajski- 64bit hack
2012-06-24 Jan Rękorajski- removed no longer needed hacks
2012-06-24 Jan Rękorajski- up to 2.4.3
2012-06-24 Jan Rękorajski- as-needed fixes
2012-06-24 Jan Rękorajski- added cleanups for 2.4.3
2012-06-24 Elan Ruusamäe- tabs in preamble
2012-06-24 Jan Rękorajski- converted to UTF-8
2012-06-24 Jakub Bogusz- pl
2012-06-24 Jan Rękorajski- fix build/install problems
2012-06-24 Jan Rękorajski- initial revision
This page took 0.06944 seconds and 4 git commands to generate.