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

76 commits

This branch
This branch
All branches
Author SHA1 Message Date
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
Jerry James
ec564f1d1f Rebuild for OCaml 4.00.1 and frama-c Oxygen. 2012-10-19 16:09:04 -06:00
Jerry James
b3d24733fe Rebuild for new frama-c build with altered API. 2012-09-11 14:13:04 -06:00
Jerry James
6a0dc3090e Frama-c is fixed; rebuild with the Jessie plugin enabled and functioning. 2012-08-27 16:19:46 -06:00
Jerry James
b732eff318 Add -coq84 patches to adapt to Coq 8.4. 
Cripple the Jessie plugin until problems with frama-c and hashtables are fixed.
 2012-08-23 14:53:21 -06:00
Jerry James
e03b7a68c6 Add ocaml-mlgmpidl-devel and why3 BRs. 
Add -warning and -ocaml4 patches to fix the build.
 2012-08-22 17:28:12 -06:00
Jerry James
3e44fceec9 Fix a broken sed expression. 2012-07-30 21:32:45 -06:00
Jerry James
b0853faa69 Use the correct version of the patch. 2012-07-30 21:11:07 -06:00
Jerry James
06edd92de3 New upstream version. 
Drop upstreamed patches.
 2012-07-30 20:55:08 -06:00
Richard W.M. Jones
9497908b6a Rebuild for OCaml 4.00.0 official. 2012-07-30 08:39:16 +01:00
Dennis Gilmore
ff24587962 - Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild 2012-07-21 22:33:44 -05:00