rpms/why
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
123 commits 27 branches 26 tags 396 KiB

Default branch

rawhide

a8d84c45d4 · Abandoned by upstream and fails to build from source · Updated 2020-03-30 14:51:13 +00:00
 ZIP  TAR.GZ

Branches

f31

a56ffa1af1 · Rebuild for fixed frama-c. · Updated 2020-04-10 22:03:50 +00:00    rpms

5
1
 ZIP  TAR.GZ
main

a8d84c45d4 · Abandoned by upstream and fails to build from source · Updated 2020-03-30 14:51:13 +00:00    rpms

0
0
 Included
 ZIP  TAR.GZ
f32

f459c5f17d · Abandoned by upstream and fails to build from source · Updated 2020-03-30 14:50:55 +00:00    rpms

1
1
 ZIP  TAR.GZ
f30

1341b9c9ef · - Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild · Updated 2019-02-03 11:41:51 +00:00    rpms

13
0
 Included
 ZIP  TAR.GZ
f29

818c9b944e · - Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild · Updated 2018-07-14 08:49:51 +00:00    rpms

16
0
 Included
 ZIP  TAR.GZ
f28

88002a4073 · New upstream release. · Updated 2018-02-13 03:20:06 +00:00    rpms

17
0
 Included
 ZIP  TAR.GZ
f26

bea49ec67a · Bring back the -project patch, still needed (bz 1520483). · Updated 2017-12-12 04:23:13 +00:00    rpms

29
1
 ZIP  TAR.GZ
f27

c7cd340a99 · Bring back the -project patch, still needed (bz 1520483). · Updated 2017-12-12 04:03:53 +00:00    rpms

22
4
 ZIP  TAR.GZ
f25

8bf5f8b711 · New upstream release. · Updated 2017-03-24 20:48:48 +00:00    rpms

29
0
 Included
 ZIP  TAR.GZ
f24

5e6572ac93 · Rebuild for why3 0.87.2. · Updated 2016-09-02 15:20:42 +00:00    rpms

37
0
 Included
 ZIP  TAR.GZ
f23

469e45c6aa · Rebuild for flocq 2.5.0, gappalib-coq 1.2.0, and why3 0.86.2. · Updated 2015-10-15 03:20:46 +00:00    rpms

47
0
 Included
 ZIP  TAR.GZ
f22

03ccd7aa9e · Rebuild for why3 0.86.1. · Updated 2015-06-22 23:18:39 +00:00    rpms

58
4
 ZIP  TAR.GZ
f21

aac0cc5d5c · Fix gwhy-2.33.patch (bz 1164470). · Updated 2014-11-15 22:31:25 +00:00    rpms

67
7
 ZIP  TAR.GZ
f20

75827bcfe0 · Omit "-z now" when building with relro (bz 1105265). · Updated 2014-06-27 16:08:11 +00:00    rpms

73
3
 ZIP  TAR.GZ
f19

190a227280 · Rebuild for frama-c Fluorine 20130601. · Updated 2013-06-21 19:55:54 +00:00    rpms

79
0
 Included
 ZIP  TAR.GZ
f18

8e6cc4625e · Rebuild for alt-ergo 0.95. · Updated 2013-01-14 23:21:29 +00:00    rpms

84
0
 Included
 ZIP  TAR.GZ
f16

3d74c1e683 · Adapt changes in master to F16. · Updated 2012-01-11 23:01:36 +00:00    rpms

97
1
 ZIP  TAR.GZ
f17

690799dc3f · Patch to work with flocq 2.0.0. · Updated 2012-01-11 22:47:54 +00:00    rpms

97
0
 Included
 ZIP  TAR.GZ
f15

d34c298577 · Fix broken conditionals. · Updated 2011-07-14 17:35:56 +00:00    rpms

104
0
 Included
 ZIP  TAR.GZ
f13

31c88ec25f · Update to version 2.26 · Updated 2010-10-11 17:39:21 +00:00    rpms

113
3
 ZIP  TAR.GZ