]>
git.pld-linux.org Git - packages/NuSMV.git/log
summary |
shortlog | log |
commit |
commitdiff |
tree
first ⋅ prev ⋅ next
Jan Rękorajski [Thu, 5 Mar 2009 22:30:30 +0000 (22:30 +0000)]
- rel 2
Changed files:
NuSMV.spec -> 1.10
Jan Rękorajski [Fri, 14 Sep 2007 14:14:43 +0000 (14:14 +0000)]
- rel 1
- updated BRs
Changed files:
NuSMV.spec -> 1.9
Jan Rękorajski [Fri, 14 Sep 2007 14:01:37 +0000 (14:01 +0000)]
- fixed hack
Changed files:
NuSMV.spec -> 1.8
Jan Rękorajski [Fri, 14 Sep 2007 14:00:38 +0000 (14:00 +0000)]
- 64bit hack
Changed files:
NuSMV.spec -> 1.7
Jan Rękorajski [Fri, 14 Sep 2007 13:57:26 +0000 (13:57 +0000)]
- removed no longer needed hacks
Changed files:
NuSMV.spec -> 1.6
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.103896 seconds and 4 git commands to generate.
projects / packages / NuSMV.git / log