rpms/why3
3
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
132 commits 32 branches 0 tags 271 KiB
Commit graph

132 commits

This branch
This branch
All branches
Author SHA1 Message Date
Jerry James
532167df2c Rebuild for coq 8.13.2-4. 2022-10-17 09:54:14 -06: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
Jerry James
a4e5472b99 OCaml 4.10.0+beta1 rebuild. 2020-01-22 09:55:57 -07:00
Richard W.M. Jones
22693289b1 OCaml 4.09.0 (final) rebuild. 2019-12-06 15:12:20 +00:00
Jerry James
d9fe992ded New upstream release. 
Add -proofgeneral subpackage.
Add desktop and AppData files.
 2019-10-29 08:23:16 -06:00
Jerry James
778f46c273 Rebuild for ocaml-menhir 20190924. 2019-10-11 15:22:17 -06:00
Jerry James
9108a19d69 Rebuild for ocaml-zarith 1.9. 2019-09-06 09:14:58 -06:00
Jerry James
3b52fadc0e Also install the library, for consumption by frama-c. 2019-08-01 20:56:21 -06:00
Jerry James
ffad731383 Rebuild for flocq 3.2.0. 2019-08-01 16:55:07 -06:00
Fedora Release Engineering
ab2e6df460 - Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2019-07-27 03:27:15 +00:00
Jerry James
04ae546e80 New upstream release. 2019-06-05 20:03:40 -06:00
Fedora Release Engineering
55c94dd77b - Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2019-02-03 11:42:01 +00:00
Jerry James
70488bcfd7 Welcome to 2019, Jerry. 2019-01-26 08:23:35 -07:00
Jerry James
4ddc9f274d New upstream release. 2019-01-26 08:11:16 -07:00
Fedora Release Engineering
773d9e33de - Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2018-07-14 08:49:58 +00:00
Richard W.M. Jones
f4b4b0b04f OCaml 4.07.0 (final) rebuild. 2018-07-12 15:39:28 +01:00
Richard W.M. Jones
18e3f35744 Bump release and rebuild. 2018-06-20 13:56:02 +01:00
Richard W.M. Jones
89b6e01f82 OCaml 4.07.0-rc1 rebuild. 2018-06-20 12:40:29 +01:00
Jerry James
b4db206099 New upstream release. 2018-02-12 20:15:33 -07:00