rpms/why3
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
149 commits 32 branches 0 tags 276 KiB
Commit graph

149 commits

This branch
This branch
All branches
Author SHA1 Message Date
Jerry James
207ba180d9 Rebuild for coq 8.16.1. 2022-11-26 18:45:19 -07:00
Jerry James
a621c52b11 Rebuild for ocaml-ppxlib 0.28.0. 2022-11-01 13:35:44 -06:00
Jerry James
edda0bbb44 Version 1.5.1. 2022-09-16 15:00:13 -06:00
Jerry James
5a58b9a713 Rebuild to fix coq dependency. Convert License tag to SPDX. 2022-08-18 14:30:48 -06:00
Fedora Release Engineering
ff1ebeb110 Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2022-07-23 12:24:35 +00:00
Jerry James
f14f97b40d Remove i686 support. 2022-07-19 17:59:56 -06:00
Jerry James
2e53fbb730 Version 1.5.0. 
- Add ocaml-mlmpfr support.
- Drop unmaintained man pages.
- Use new OCaml macros.
 2022-07-07 15:37:13 -06:00
Richard W.M. Jones
204eb83925 OCaml 4.14.0 rebuild 2022-06-19 19:24:51 +01:00
Jerry James
a64a0ed5e9 Rebuild for coq 8.15.1. 2022-03-25 11:55:10 -06:00
Jerry James
facae9f941 Version 1.4.1. 2022-02-28 20:02:14 -07:00
Richard W.M. Jones
7ef696872b OCaml 4.13.1 rebuild to remove package notes 2022-02-04 20:19:41 +00:00
Fedora Release Engineering
40997707ae - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2022-01-22 04:27:35 +00:00
Jerry James
cd3b9cb534 Rebuild for menhir 20211230. 2022-01-17 16:45:10 -07:00
Jerry James
a6b6dd4acf Rebuild for alt-ergo 2.3.0 and ocaml-zip 1.11. 2021-12-30 19:03:54 -07:00
Jerry James
34f2a3d2bf Rebuild for coq 8.14.1, sexplib0 0.15.0 and menhir 20211128. 2021-11-30 13:36:09 -07:00
Jerry James
2f315d1b60 Rebuild for coq 8.14.0 and menhir 20211012. 
- Add -coq8.14 patch.
- Drop XEmacs support.
 2021-10-21 12:10:49 -06:00
Richard W.M. Jones
2ba7144d9a OCaml 4.13.1 build 2021-10-05 15:24:49 +01:00
Richard W.M. Jones
3e18f40b61 Try to build on s390x with OCaml 4.13 2021-10-04 18:23:21 +01:00
Jerry James
3419d9b7ad Rebuild for rebuilt coq. 2021-07-30 08:52:46 -06:00
Fedora Release Engineering
cdffd5304b - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2021-07-23 20:56:09 +00:00
Jerry James
8fbcc2ddf4 Version 1.4.0. 
- Drop all patches.
- Validate with appstreamcli instead of appstream-util.
 2021-07-14 18:36:00 -06:00
Jerry James
5af1d5643b Rebuild for ocaml-menhir 20210419. 2021-06-12 15:39:50 -06:00
Jerry James
fa27403bfb Rebuild for coq 8.13.1 and ocaml-zarith 1.12. 2021-03-03 12:13:33 -07:00
Richard W.M. Jones
9f20e5d4a1 OCaml 4.12.0 build 2021-03-02 11:18:13 +00:00
Jerry James
7492f576fa Rebuild for coq 8.13.0. 
- Update metainfo and install in metainfodir.
 2021-02-21 09:10:35 -07:00
Fedora Release Engineering
0db20fd8bf - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2021-01-27 23:29:11 +00:00
Jerry James
c4d0ea2196 Rebuild for flocq 3.4.0. 2021-01-02 09:58:01 -07:00
Jerry James
45d462efce Rebuild for coq 8.12.2. 2020-12-23 20:04:28 -07:00
Jerry James
d67e103d24 Rebuild for coq 8.12.1 and menhir 20201201. 2020-12-02 16:45:58 -07:00
Jerry James
c70fceec20 Explicitly BR make. 2020-11-09 21:21:12 -07:00
Jerry James
ce67cc4389 Version 1.3.3. 2020-09-26 14:52:38 -06:00
Richard W.M. Jones
cb21b2babf OCaml 4.11.1 rebuild 2020-09-02 16:50:48 +01:00
Richard W.M. Jones
35c8f0045f ExcludeArch s390x (see RHBZ#1874879). 2020-09-02 14:48:37 +01:00
Jerry James
78b813a96f Rebuild for coq 8.12.0. 2020-09-01 14:32:30 -06:00
Richard W.M. Jones
acfebc1a45 +BR graphviz 
Previous build failed with:
ccomps -X smt-libv2.gen doc/generated/drivers-all.dot > doc/generated/drivers-smt.dot
/bin/sh: ccomps: command not found
 2020-08-24 16:52:27 +01:00
Richard W.M. Jones
369eac4f4e OCaml 4.11.0 rebuild 2020-08-24 16:32:42 +01:00
Jerry James
f2bbb5e16f Rebuild for ocaml-lablgtk3 3.1.1 and ocaml-menhir 20200624. 2020-08-06 21:41:16 -06:00
Fedora Release Engineering
202d697c56 - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2020-07-29 14:07:45 +00:00
Jerry James
0e4bdcd4be Rebuild for coq 8.11.2. 2020-06-15 14:41:39 -06:00
Jerry James
3c88e1d2c4 Rebuild for flocq 3.3.1. 
- Build the coq files with the native compiler when possible.
 2020-06-14 10:42:30 -06:00
Jerry James
c8fd5541d5 Rebuild for coq 8.11.1. 2020-05-20 10:26:29 -06:00
Richard W.M. Jones
b03827d308 OCaml 4.11.0+dev2-2020-04-22 rebuild 2020-05-05 18:37:15 +01:00
Jerry James
957d86beca Make the dependencies on ocaml-num and ocaml-zip explicit (bz 1795083). 2020-04-12 11:28:51 -06:00
Jerry James
eff98692c9 Rebuild for flocq 3.2.1. 2020-04-08 21:16:14 -06:00
Richard W.M. Jones
a11f9e2373 Update all OCaml dependencies for RPM 4.16. 2020-04-05 01:21:54 +01:00
Jerry James
f0bb60aa8f Do not build with mlmpfr; symbols clash with mlgmpidl, causing frama-c to 
fail to start.
Obsolete the why2 packages.
 2020-04-01 15:41:27 -06:00
Jerry James
1afbf9d426 Remove useless BRs and Rs (bz 1817878). 2020-03-28 07:59:20 -06:00
Jerry James
b5b1f855be Version 1.3.1. 2020-03-25 14:01:51 -06:00
Fedora Release Engineering
f67c772f71 - Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2020-01-31 03:41:29 +00:00
Jerry James
b6d8ef5355 R yices-tools, which has the command line tool, not yices. 2020-01-24 10:44:11 -07:00