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

86 commits

This branch
This branch
All branches
Author SHA1 Message Date
Jerry James
5e6572ac93 Rebuild for why3 0.87.2. 2016-09-02 09:20:42 -06:00
Jerry James
11ea9a2036 Rebuild for apron 0.9.11 and gappalib-coq 1.3.0. 2016-07-22 09:43:14 -06:00
Jerry James
6f1ec75cbd Rebuild for coq 8.5pl2. 2016-07-13 17:26:19 -06:00
Jerry James
7e3866afcc Rebuild for why3 0.87.1 and Frama-C Aluminium. 2016-06-01 19:54:34 -06:00
Jerry James
0d9d208aa7 Rebuild for coq 8.5pl1. 2016-04-22 09:46:02 -06:00
Jerry James
6700fb2b95 Rebuild for ocaml-ocamlgraph 1.8.7. 2016-04-16 22:11:50 -06:00
Jerry James
585077e275 Rebuild for why3 0.87.0. 2016-03-18 14:54:43 -06:00
Jerry James
c8058b5d9f Adapt to recent versions of apron. 2016-02-12 15:46:48 -07:00
Jerry James
0ccec25e66 Rebuild for coq 8.5, flocq 2.5.1, gappalib-coq 1.2.1, why3 0.86.3, and 
Frama-C Magnesium.

Also:
- Use camlp4 in preference to camlp5.
- Drop cvc3 support.
- Update appdata for latest specification.
 2016-02-12 09:03:09 -07:00
Fedora Release Engineering
ad116a2ac0 - Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild 2016-02-05 03:01:15 +00:00
Jerry James
469e45c6aa Rebuild for flocq 2.5.0, gappalib-coq 1.2.0, and why3 0.86.2. 2015-10-14 21:20:46 -06:00
Richard W.M. Jones
b98809b6b9 OCaml 4.02.3 rebuild. 2015-07-30 13:30:11 +01:00
Jerry James
6d652c56f4 Rebuild for why3 0.86.1. 2015-06-22 14:21:26 -06:00
Richard W.M. Jones
c7d6158f02 Rebuild for ocaml-4.02.2. 2015-06-19 13:16:31 +01:00
Dennis Gilmore
060306ffb3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild 2015-06-19 02:24:19 +00:00
Jerry James
f945eb8f64 Rebuild for why3 0.86. 2015-05-16 17:31:14 -06:00
Jerry James
d5f50e91bf Rebuild for coq 8.4pl6. 2015-04-13 09:59:58 -06:00
Jerry James
932f9267c1 Adjust requires filter. 2015-04-01 12:18:42 -06:00
Jerry James
e031c5b41e New upstream release. 
Drop upstreamed -flocq24 and -frama-c-sodium patches.
Drop all gwhy-related sources, as gwhy has been retired.
Merge (X)Emacs files into the main package due to change in policy.
 2015-03-31 15:58:10 -06:00
Jerry James
f6eab8a269 Rebuild for Frama-C Sodium. 
Also:
- Add -ocamlgraph186 patch to adapt to ocamlgraph 1.8.6.
- Add -frama-c-sodium patch to adapt to Frama-C Sodium.
 2015-03-19 12:01:44 -06:00
Richard W.M. Jones
9dc6ba6d39 ocaml-4.02.1 rebuild. 2015-02-19 08:35:20 +00:00
Jerry James
405e2e843b Fix gwhy-2.33.patch (bz 1164470). 2014-11-15 14:19:02 -07:00
Richard W.M. Jones
8329d966f9 Bump and rebuild for broken dependencies. 2014-11-13 13:34:46 +00:00
Jerry James
7aa2f40ac0 Rebuild for coq 8.4pl5. 2014-10-30 19:47:58 -06:00
Jerry James
19dba4ac31 Rebuild for why3 0.85. 2014-09-18 13:13:44 -06:00
Jerry James
bee9f47474 Rebuild for fixed frama-c. 
Fix license handling.
 2014-09-08 13:31:21 -06:00
Jerry James
12489c73c5 Rebuild for the final ocaml 4.02.0 release. 2014-09-02 20:19:24 -06:00
Jerry James
2e20d721c7 ocaml-4.02.0+rc1 rebuild. 2014-08-25 17:18:14 -06:00
Peter Robinson
00fe48cd16 - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild 2014-08-18 08:34:44 +00:00
Jerry James
4e4054223f OCaml 4.02.0 beta rebuild. 
BR emacs instead of emacs-nox, which no longer exists.
 2014-08-04 22:04:47 -06:00
Jerry James
8ce80ce993 Omit "-z now" when building with relro (bz 1105265). 
Resolve a conflict between Frama-C and why modules both named "Project".
 2014-06-26 15:44:21 -06:00
Dennis Gilmore
7f0ff8ba20 - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild 2014-06-07 23:30:38 -05:00
Jerry James
ef3b4659b8 Rebuild for coq 8.4pl4. 2014-05-13 16:34:18 -06:00
Richard Hughes
a5e0dc99c4 Fix the License tag 2014-05-02 12:41:05 +01:00
Jerry James
eda916af25 Rebuild for ocamlgraph 1.8.5 and flocq 2.3.0. 
Drop has_coq macro, since coq is now universally available.
Add -flocq23 patch to adapt to flocq 2.3.0.
 2014-04-21 16:35:40 -06:00
Richard W.M. Jones
f8475527b4 Remove ocaml_arches macro (RHBZ#1087794). 2014-04-15 12:57:30 +01:00
Jerry James
cc2ede5275 Remove dropped patches. 
Add icons.
Fix the desktop icon entries.
 2014-03-24 18:47:16 -06:00
Jerry James
5665306fcc New upstream release. 
Drop upstreamed -hashtbl, -flocq, and -or patches.
Add ocaml-findlib BR.
 2014-03-18 13:21:31 -06:00
Jerry James
03ba744ac5 Rebuild for ocamlgraph 1.8.4. 
Update desktop files.
Add AppData files for gwhy and jessie.
 2014-02-26 10:47:08 -07:00
Jerry James
b6131f67e6 Rebuild for OCaml 4.01.0. 
Enable debuginfo.
Add -or patch to fix warnings, since warnings are errors.
 2013-09-17 22:09:23 -06:00
Jerry James
296ffe2562 Add patch to adapt to flocq 2.2.0. 2013-08-20 12:01:20 -06:00
Ville Skyttä
abb71eaed6 Install docs to %{_pkgdocdir} where available. 2013-07-27 19:23:56 +03:00
Jerry James
190a227280 Rebuild for frama-c Fluorine 20130601. 2013-06-21 13:55:54 -06:00
Jerry James
5da367a9e3 Rebuild for new frama-c and why3 builds. 2013-05-23 11:55:25 -06:00
Jerry James
0769332a32 New upstream release. 
Drop upstreamed -warning, -coq84, and -ocaml4 patches.
Add -hashtbl patch.
Enable Jessie plugin again.
 2013-05-14 16:14:50 -06:00
Parag Nemade
a566fd4c88 Fix files list 2013-02-09 22:44:30 +05:30
Parag Nemade
9550670ad1 Remove vendor tag from desktop file as per https://fedorahosted.org/fesco/ticket/1077 2013-02-09 22:19:24 +05:30
Jerry James
8e6cc4625e Rebuild for alt-ergo 0.95. 2013-01-14 16:21:29 -07:00
Jerry James
08b14c72a5 Rebuild for coq 8.4pl1. 2013-01-07 13:31:02 -07:00
Jerry James
d625b7596e Recripple the Jessie plugin until it works with frama-c Oxygen. 2012-10-22 13:46:43 -06:00