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

110 commits

This branch
This branch
All branches
Author SHA1 Message Date
Fedora Release Engineering
1341b9c9ef - Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2019-02-03 11:41:51 +00:00
Jerry James
6472c2a08f Welcome to 2019, Jerry. 2019-01-26 08:20:53 -07:00
Jerry James
e3863b543f New upstream release. 
All patches have been upstreamed; drop them all.
 2019-01-26 08:19:32 -07:00
Fedora Release Engineering
818c9b944e - Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2018-07-14 08:49:51 +00:00
Jerry James
88002a4073 New upstream release. 
Add -num patch to fix incomplete num to zarith conversion.
 2018-02-12 20:20:06 -07:00
Fedora Release Engineering
88eb8b7a51 - Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2018-02-09 20:55:21 +00:00
Igor Gnatenko
d328121299 Remove obsolete scriptlets 
Signed-off-by: Igor Gnatenko <ignatenkobrain@fedoraproject.org>
 2018-01-18 22:48:54 +01:00
Jerry James
bfd7fd56a1 Bring back the -project patch, still needed (bz 1520483). 
Add the -safe-string patch for building with ocaml 4.06.0.
Build the Jessie plugin with -runtime-variant _pic.
 2017-12-09 16:07:42 -07:00
Richard W.M. Jones
9a8305d6c0 OCaml 4.06.0 rebuild. 2017-12-02 11:22:50 +00:00
Jerry James
84ade9ed59 Rebuild for why3 0.88.0. 2017-10-07 20:01:20 -06:00
Jerry James
19cbe099ea New upstream release. 2017-09-20 18:23:26 -06:00
Richard W.M. Jones
502e32209c OCaml 4.05.0 rebuild. 2017-09-06 19:30:58 +01:00
Fedora Release Engineering
62b51ec56f - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild 2017-08-03 10:16:01 +00:00
Fedora Release Engineering
6d7c5cec99 - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild 2017-07-27 21:35:53 +00:00
Richard W.M. Jones
b38be9d05d Rebuild for OCaml 4.04.2. 2017-07-01 22:55:03 +01:00
Richard W.M. Jones
e4380d336b Rebuild for OCaml 4.04.1. 2017-05-15 12:31:56 +01:00
Jerry James
8bf5f8b711 New upstream release. 2017-03-24 14:48:48 -06:00
Fedora Release Engineering
6ca41f2515 - Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild 2017-02-11 17:22:09 +00:00
Jerry James
9e92a04c75 New upstream release. 2017-01-12 22:02:20 -07:00
Jerry James
789026e7d9 Rebuild for gappalib-coq 1.3.2. 2016-12-01 12:02:46 -07:00
Richard W.M. Jones
d0e6b47f16 - Modify configure script to allow building with OCaml 4.04. 
- Modify configure script to use octMPQ library (part of Apron).
 2016-11-08 15:35:14 +00:00
Richard W.M. Jones
fd1a59230a Rebuild for OCaml 4.04.0. 2016-11-06 20:59:27 +00:00
Jerry James
c2bec65c9c Rebuild for coq 8.5pl3. Remove obsolete scriptlets. 2016-10-28 10:39:58 -06:00
Jerry James
8af8c0018b Rebuild for flocq 2.5.2 and gappalib-coq 1.3.1. 2016-09-29 19:37:45 -06:00
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