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
Jerry James
690799dc3f
Patch to work with flocq 2.0.0.
2012-01-11 15:47:54 -07:00
Jerry James
91ee4476af
Rebuild for coq 8.3pl3.
2011-12-27 12:56:02 -07:00
Jerry James
9714017f13
Update alt_ergo and yices "okay" version numbers.
2011-12-06 09:06:42 -07:00
Jerry James
681e4023c1
It works better if you bump the release number.
2011-11-23 13:57:32 -07:00
Jerry James
7d0ca0e460
Rebuild with APRON and gappalib-coq support.
2011-11-23 13:56:43 -07:00
Jerry James
e52152d787
Attempt to fix failure of XEmacs while running PVS.
2011-10-28 14:03:24 -06:00
Jerry James
53fa042412
New upstream release.
2011-10-28 11:02:19 -06:00
Jerry James
d34c298577
Fix broken conditionals.
2011-07-14 11:35:56 -06:00
Jerry James
6fc19ee63f
New upstream release (fixes FTBFS: bz 715902).
...
Remove unnecessary spec file elements (BuildRoot, etc.).
Update approach to filtering provides and requires.
Add has_pvs analogously to has_coq, and simplify macro usage.
Add (X)Emacs support packages.
New subpackage for the jessie plugin to avoid unowned directories and permit a
direct dependency on frama-c.
Prepare for the eventual availability of APRON.
2011-07-11 15:40:19 -06:00
Karsten Hopp
a6d2ac8f9d
add ppc to excludearch, too. No pvs-sbcl available there
2011-04-14 11:12:13 +02:00
Karsten Hopp
c12f53988e
add ppc64 to excludearch, no sbcl available there
2011-04-13 17:35:36 +02:00
Dennis Gilmore
823d312426
- Rebuilt for https://fedoraproject.org/wiki/Fedora_15_Mass_Rebuild
2011-02-07 20:32:32 -06:00
Richard W.M. Jones
8df1e20e7d
- Since 2.26 FTBFS, try latest upstream (2.28).
...
- Rebase Makefile.in patch.
- Fix(?) test result.
- No libdir/frama-c directory is created any more.
2011-01-21 18:43:31 +00:00
Richard W.M. Jones
cacf822e7c
Bump and rebuild for OCaml 3.12.
2011-01-21 17:53:34 +00:00
David A. Wheeler
79306cd366
Update to version 2.26
2010-10-09 13:34:44 -04:00
Fedora Release Engineering
0ce224ac60
dist-git conversion
2010-07-29 15:18:17 +00:00
932630f603
Rebuild to fix dependencies.
2010-01-11 22:28:29 +00:00
Alan Dunn
d5397effc2
- Upgrade to upstream version 2.23
...
- Move execstack fixing to spec file from patch
- Moved patch descriptions to initial patch declaration as in examples in
Fedora documentation
- New Caduceus, Krakatoa documentation
- Update test result from small test min.mlw
- Added CVC3 interfacing capabilities
- Removed patch for gwhy configuration, as there is a new mechanism for
this
2010-01-08 19:58:52 +00:00
Bill Nottingham
d7e07426ce
Fix typo that causes a failure to update the common directory. (releng
...
#2781 )
2009-11-25 22:43:13 +00:00
Dennis Gilmore
925d085369
no ocaml on s390 s390x and sparc64
2009-09-22 19:36:16 +00:00
Alan Dunn
292010d5c9
- Removed now irrelevant check for no OCaml in Fedora < 9 (those
...
distributions are EOL)
- Changed ExcludeArch to proper Fedora versions
- Builds coq subpackage exactly when Coq can be built, thus making build
independent of whether Coq can be built
- define -> global
- Fixed accidental use of in tar ocamlgraph instead of one that is
separately packaged
2009-08-08 02:35:30 +00:00
Jesse Keating
069bfa960a
- Rebuilt for https://fedoraproject.org/wiki/Fedora_12_Mass_Rebuild
2009-07-27 07:15:16 +00:00
Jesse Keating
a28ed67f72
- Rebuilt for https://fedoraproject.org/wiki/Fedora_11_Mass_Rebuild
2009-02-25 18:36:27 +00:00
Alan Dunn
df0122dde8
Changed patches slightly so that hunks match updated files in 2.17.
2008-12-24 16:37:05 +00:00
Alan Dunn
652b3f3bd9
Initial commit of Fedora why package.
2008-08-05 16:49:17 +00:00
0f35747732
Setup of module why
2008-08-04 18:32:10 +00:00
