Commits - rpms/why3 - src.fedoraproject.org

OCaml 5.1 rebuild for Fedora 40

Richard W.M. Jones • 2 months ago

b3fca63

Remove old obsoletes

Jerry James • 2 months ago

c96ac3b

Rebuild for ocaml-ocamlgraph 2.1.0

Jerry James • 3 months ago

2c8af33

Require cvc5 instead of cvc4

Jerry James • 5 months ago

7e59df6

Rebuild for ocaml-zarith 1.13

Jerry James • 5 months ago

dccd3f8

Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild

Fedora Release Engineering • 5 months ago

4fe98e6

Validate metadata with appstream-util

Jerry James • 5 months ago

a981f9c

Rebuild for mpfr 4.2.0

Jerry James • 5 months ago

30c6100

Comment out duplicate ExclusiveArch

Richard W.M. Jones • 5 months ago

41d1425

Only build coq and friends on architectures with the native compiler

Richard W.M. Jones • 5 months ago

097e975

ExcludeArch i686 (https://lists.fedoraproject.org/archives/list/devel@lists.fedoraproject.org/message/SPML7CUBSZNI36NLXGVHEG7DNHU3EWOJ/)

Richard W.M. Jones • 5 months ago

eb418d6

Version 1.6.0

Jerry James • 5 months ago

a3afebd

Rebuild for coq 8.17.0

Jerry James • 8 months ago

77a922c

Rebuild OCaml packages for F38

Richard W.M. Jones • 11 months ago

4dfd264

Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild

Fedora Release Engineering • 11 months ago

a12b108

BR tex(tgtermes.sty) to fix FTBFS with TeXLive 2022.

Jerry James • 11 months ago

1b9d051

Rebuild for coq 8.16.1.

Jerry James • a year ago

207ba18

Rebuild for ocaml-ppxlib 0.28.0.

Jerry James • a year ago

a621c52

Version 1.5.1.

Jerry James • a year ago

edda0bb

Rebuild to fix coq dependency. Convert License tag to SPDX.

Jerry James • a year ago

5a58b9a

Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild

Fedora Release Engineering • a year ago

ff1ebeb

Remove i686 support.

Jerry James • a year ago

f14f97b

Version 1.5.0.

Jerry James • a year ago

2e53fbb

OCaml 4.14.0 rebuild

Richard W.M. Jones • a year ago

204eb83

Rebuild for coq 8.15.1.

Jerry James • 2 years ago

a64a0ed

Version 1.4.1.

Jerry James • 2 years ago

facae9f

OCaml 4.13.1 rebuild to remove package notes

Richard W.M. Jones • 2 years ago

7ef6968

- Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild

Fedora Release Engineering • 2 years ago

4099770

Rebuild for menhir 20211230.

Jerry James • 2 years ago

cd3b9cb

Rebuild for alt-ergo 2.3.0 and ocaml-zip 1.11.

Jerry James • 2 years ago

a6b6dd4

Rebuild for coq 8.14.1, sexplib0 0.15.0 and menhir 20211128.

Jerry James • 2 years ago

34f2a3d

Rebuild for coq 8.14.0 and menhir 20211012.

Jerry James • 2 years ago

2f315d1

OCaml 4.13.1 build

Richard W.M. Jones • 2 years ago

2ba7144

Try to build on s390x with OCaml 4.13

Richard W.M. Jones • 2 years ago

3e18f40

Rebuild for rebuilt coq.

Jerry James • 2 years ago

3419d9b

- Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild

Fedora Release Engineering • 2 years ago

cdffd53

Version 1.4.0.

Jerry James • 2 years ago

8fbcc2d

Rebuild for ocaml-menhir 20210419.

Jerry James • 2 years ago

5af1d56

Rebuild for coq 8.13.1 and ocaml-zarith 1.12.

Jerry James • 2 years ago

fa27403

OCaml 4.12.0 build

Richard W.M. Jones • 2 years ago

9f20e5d

Rebuild for coq 8.13.0.

Jerry James • 2 years ago

7492f57

- Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild

Fedora Release Engineering • 2 years ago

0db20fd

Rebuild for flocq 3.4.0.

Jerry James • 2 years ago

c4d0ea2

Rebuild for coq 8.12.2.

Jerry James • 2 years ago

45d462e

Rebuild for coq 8.12.1 and menhir 20201201.

Jerry James • 3 years ago

d67e103

Explicitly BR make.

Jerry James • 3 years ago

c70fcee

Version 1.3.3.

Jerry James • 3 years ago

ce67cc4

OCaml 4.11.1 rebuild

Richard W.M. Jones • 3 years ago

cb21b2b

ExcludeArch s390x (see RHBZ#1874879).

Richard W.M. Jones • 3 years ago

35c8f00

rpms / why3

Commits 165

rpms / why3

Source Code

Commits 165