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

123 commits

This branch
This branch
All branches
Author SHA1 Message Date
Jerry James
a8d84c45d4 Abandoned by upstream and fails to build from source 2020-03-30 08:51:13 -06:00
Fedora Release Engineering
4ea920bebe - Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2020-01-31 03:41:17 +00:00
Jerry James
4d6840f782 Fix building with OCaml 4.10. 2020-01-23 21:25:20 -07:00
Jerry James
a55ef6338d Rebuild for apron 0.9.12. 2020-01-23 16:07:50 -07:00
Jerry James
219f4f021b OCaml 4.09.0 (final) rebuild. 2019-12-09 14:20:20 -07:00
Jerry James
ee09cbc085 Rebuild for why3 1.2.1. 2019-10-29 08:25:14 -06:00
Jerry James
81014a5a53 Rebuild for ocaml-mlgmpidl 1.2.11. 2019-10-11 09:02:30 -06:00
Jerry James
2ff5e9754d Rebuild for frama-c 19.1. 2019-09-23 09:16:09 -06:00
Jerry James
d626ea5898 Fix egregious date typo in the changelog. 2019-09-06 12:04:30 -06:00
Jerry James
d4041358df Rebuild for ocaml-zarith 1.9. 2019-09-06 12:02:05 -06:00
Jerry James
6aa1f91c4b Rebuild for frama-c 19.0. 2019-08-02 13:18:07 -06:00
Fedora Release Engineering
01dc32708f - Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2019-07-27 03:27:05 +00:00
Jerry James
26b175fd32 Rebuild for coq 8.9.1, why3 1.2.0, and frama-c 18.0. 2019-06-05 20:08:47 -06:00
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