]>
git.pld-linux.org Git - packages/NuSMV.git/log
summary |
shortlog | log |
commit |
commitdiff |
tree
first ⋅ prev ⋅ next
Jan Rękorajski [Fri, 14 Sep 2007 13:56:29 +0000 (13:56 +0000)]
- up to 2.4.3
Changed files:
NuSMV.spec -> 1.5
Jan Rękorajski [Fri, 14 Sep 2007 13:52:45 +0000 (13:52 +0000)]
- as-needed fixes
Changed files:
NuSMV-build.patch -> 1.3
Jan Rękorajski [Fri, 14 Sep 2007 13:36:34 +0000 (13:36 +0000)]
- added cleanups for 2.4.3
Changed files:
NuSMV-build.patch -> 1.2
Elan Ruusamäe [Mon, 12 Feb 2007 22:09:09 +0000 (22:09 +0000)]
- tabs in preamble
Changed files:
NuSMV.spec -> 1.4
Jan Rękorajski [Mon, 12 Feb 2007 01:06:42 +0000 (01:06 +0000)]
- converted to UTF-8
Changed files:
NuSMV.spec -> 1.3
Jakub Bogusz [Wed, 4 Oct 2006 20:19:15 +0000 (20:19 +0000)]
- pl
Changed files:
NuSMV.spec -> 1.2
Jan Rękorajski [Tue, 3 Oct 2006 16:36:40 +0000 (16:36 +0000)]
- fix build/install problems
Changed files:
NuSMV-build.patch -> 1.1
Jan Rękorajski [Tue, 3 Oct 2006 16:36:05 +0000 (16:36 +0000)]
- initial revision
Changed files:
NuSMV.spec -> 1.1
This page took 0.034949 seconds and 4 git commands to generate.
projects / packages / NuSMV.git / log