why3-1.2.1-1.mga8.i586.rpm


Advertisement

Description

why3 - Software verification platform

Property Value
Distribution Mageia Cauldron
Repository Mageia Core i586
Package filename why3-1.2.1-1.mga8.i586.rpm
Package name why3
Package version 1.2.1
Package release 1.mga8
Package architecture i586
Package type rpm
Category Sciences/Computer science
Homepage http://why3.lri.fr/
License LGPLv2 with exceptions
Maintainer -
Download size 20.19 MB
Installed size 100.49 MB
Why3 is the next generation of the Why software verification platform.
Why3 clearly separates the purely logical specification part from
generation of verification conditions for programs.  It features a rich
library of proof task transformations that can be chained to produce a
suitable input for a large set of theorem provers, including SMT
solvers, TPTP provers, as well as interactive proof assistants.

Alternatives

Package Version Architecture Repository
why3-1.2.1-1.mga8.x86_64.rpm 1.2.1 x86_64 Mageia Core
why3 - - -

Requires

Name Value
alt-ergo -
coq -
libc.so.6 -
libc.so.6(GLIBC_2.0) -
libc.so.6(GLIBC_2.1) -
libc.so.6(GLIBC_2.1.2) -
libc.so.6(GLIBC_2.1.3) -
libc.so.6(GLIBC_2.10) -
libc.so.6(GLIBC_2.11) -
libc.so.6(GLIBC_2.15) -
libc.so.6(GLIBC_2.16) -
libc.so.6(GLIBC_2.17) -
libc.so.6(GLIBC_2.2) -
libc.so.6(GLIBC_2.28) -
libc.so.6(GLIBC_2.3) -
libc.so.6(GLIBC_2.3.4) -
libc.so.6(GLIBC_2.4) -
libc.so.6(GLIBC_2.7) -
libc.so.6(GLIBC_2.9) -
libdl.so.2 -
libdl.so.2(GLIBC_2.0) -
libdl.so.2(GLIBC_2.1) -
libgdk-x11-2.0.so.0 -
libgdk_pixbuf-2.0.so.0 -
libglib-2.0.so.0 -
libgobject-2.0.so.0 -
libgtk-x11-2.0.so.0 -
libgtksourceview-2.0.so.0 -
libm.so.6 -
libm.so.6(GLIBC_2.0) -
libm.so.6(GLIBC_2.1) -
libm.so.6(GLIBC_2.27) -
libm.so.6(GLIBC_2.29) -
libpango-1.0.so.0 -
libpthread.so.0 -
libpthread.so.0(GLIBC_2.0) -
libpthread.so.0(GLIBC_2.2) -
libz.so.1 -
ocaml(CamlinternalFormatBasics) == f562e7b79dbe1bb1591060d6b4e854cf
ocaml(CamlinternalLazy) == 4dbf494440e1d7857c9e9f8079808cd4
ocaml(CamlinternalMod) == af94199ed44285f84e5dc816919fab44
ocaml(MenhirLib) == 29e5eb3a269aa3ce9b35a4468b02a326
ocaml(Stdlib) == aa33af4684579b41817bc194be0a7a26
ocaml(Stdlib__arg) == 965c9e33adab6e9e8dc021fbfa95558d
ocaml(Stdlib__array) == 9558001a029d7270458a252505f6a024
ocaml(Stdlib__bigarray) == 33ee4c2e3aa5fb2f083dd780ce492c0b
ocaml(Stdlib__buffer) == 28161e4effde5ea372547815f87193ec
ocaml(Stdlib__char) == 2f2acf8bdbc1a264012f13ea21fa0c4b
ocaml(Stdlib__complex) == 067e32179a81c1c8dbdd0a8d52b0c645
ocaml(Stdlib__filename) == e70d852a325736bc7266750bcc2e69f2
ocaml(Stdlib__format) == 06b0893cb3ef937aa19861955f132018
ocaml(Stdlib__hashtbl) == ae8edb4e1fa8a825285031ff0efc80c8
ocaml(Stdlib__int32) == aa83c6f44c2474e5227a6c8f103e87cf
ocaml(Stdlib__int64) == 4214fced4b9c03c07eae7c7eb29450c4
ocaml(Stdlib__lazy) == fc2e64496010f839ea977622a4ebeafc
ocaml(Stdlib__lexing) == af4fe7604d37ed7010a342d5a704e3c5
ocaml(Stdlib__list) == 13989ef6fbcb7235b257d3df9a80253a
ocaml(Stdlib__map) == a82b95a7a6d7947a4127a1eccd24d8b1
ocaml(Stdlib__nativeint) == b4e3a7a1158f02cabeb08cb0c21793e7
ocaml(Stdlib__obj) == 4f27fde74c713270e337272301a906e6
ocaml(Stdlib__parsing) == 0f8a2f81be75a9e86f670a6fef3a7f30
ocaml(Stdlib__pervasives) == b21448628d3d122ebdaa9995cac0ba7f
ocaml(Stdlib__printf) == 908ae2bf186b4ad7c88e5443c57d73af
ocaml(Stdlib__queue) == 03c7b1e419bb4f4383376912cbd6bf5a
ocaml(Stdlib__random) == 85663246c4eb3a0a28aa7640de3ef2ce
ocaml(Stdlib__seq) == c5f4ef3f36de5f47b7041eed1deb9679
ocaml(Stdlib__set) == 2fa5bbe7cee6e11d5da34daaf89e1dbf
ocaml(Stdlib__stack) == b515cb9a8648d069a1e380b3ec573599
ocaml(Stdlib__string) == f06d662544362cc717ad99f2d75ffa1e
ocaml(Stdlib__sys) == bb80c4c4a8134d83861bb3ff49d07ce4
ocaml(Stdlib__uchar) == c51d7a295527e9500ba69b459f81d6b3
ocaml(Str) == c5bcee777d07f9d2f20c78da78387372
ocaml(Unix) == ba30fbe5ee87d3d4d5bd805af35f363b
ocaml(Why3) == 980bd6fe6d5a32a280400333fece0a82
ocaml(runtime) == 4.10.0
vim-minimal -

Provides

Name Value
ocaml(Dimacs) == 2b3fe3bb90f094a5db9e3f383c85792e
ocaml(Genequlin) == c4d206272cd5cfbdb6854f792abee41d
ocaml(Hypothesis_selection) == 36981d6b9fab84e2b7ba150b7d718fba
ocaml(Python) == e1ceef1629131e7b7369834973e21292
ocaml(Tptp) == 857978a6dd7b1593ddeaee5fdeaf6b4a
why3 == 1.2.1-1.mga8
why3(x86-32) == 1.2.1-1.mga8

Download

Type URL
Mirror distrib-coffee.ipsl.jussieu.fr
Binary Package why3-1.2.1-1.mga8.i586.rpm
Source Package why3-1.2.1-1.mga8.src.rpm

Install Howto

  1. Enable Mageia Core repository on Install and Remove Software
  2. Update packages list:
    # urpmi.update -a
  3. Install why3 rpm package:
    # urpmi why3

Files

Path
/usr/bin/why3
/usr/lib/.build-id/
/usr/lib/.build-id/0e/1d2b328e57bd4b5b933a5a2d68b76bbbaf54e8
/usr/lib/.build-id/17/e17ace37105ddd95d25d14472b3cf64a496b2a
/usr/lib/.build-id/1b/bd849fb0c67a68e9ddd14722d90484bfe64a8f
/usr/lib/.build-id/1e/3869e21cd1939e41d0c58395255dc472e29536
/usr/lib/.build-id/1e/3869e21cd1939e41d0c58395255dc472e29536.1
/usr/lib/.build-id/1e/3869e21cd1939e41d0c58395255dc472e29536.2
/usr/lib/.build-id/25/b09b6c25a73648d065170a6e2397faef49f251
/usr/lib/.build-id/2d/5330e076705e360c4681e68c409dc430ebfe3e
/usr/lib/.build-id/39/6f43103b94478388aa4f610c06f9e31d274da9
/usr/lib/.build-id/39/77bfaec825c8377ed2d399f8314a398307f57c
/usr/lib/.build-id/63/5d761952253f6eea2a2e24a554a4e9a3d27531
/usr/lib/.build-id/67/b962829b2fe19847eb9559657a6e457be757d0
/usr/lib/.build-id/7e/45ab1f982816fa917f140afe920bbe06ced50c
/usr/lib/.build-id/85/225340035d133b29f34bc2d407cad2c4561465
/usr/lib/.build-id/99/c1dbccf9566dd4749381e04614c38a3eb6f1dd
/usr/lib/.build-id/a0/ae0ca6da9e3dd247cc39b3830cb115cb8a6a6d
/usr/lib/.build-id/a6/ad3119ef6833257b9da953c6a90b9bda936794
/usr/lib/.build-id/b0/26537f2c3a1facd91491f895028c13d2b834e8
/usr/lib/.build-id/b9/fc5e7096db7cee6a2e42d7e2e7086439a43bf7
/usr/lib/.build-id/d2/ea83c958cb100f93cb9c1740e84ef4f170cdd9
/usr/lib/why3/why3-call-pvs
/usr/lib/why3/why3cpulimit
/usr/lib/why3/why3server
/usr/lib/why3/commands/why3config
/usr/lib/why3/commands/why3doc
/usr/lib/why3/commands/why3execute
/usr/lib/why3/commands/why3extract
/usr/lib/why3/commands/why3ide
/usr/lib/why3/commands/why3prove
/usr/lib/why3/commands/why3realize
/usr/lib/why3/commands/why3replay
/usr/lib/why3/commands/why3session
/usr/lib/why3/commands/why3shell
/usr/lib/why3/commands/why3wc
/usr/lib/why3/commands/why3webserver
/usr/lib/why3/coq/BuiltIn.vo
/usr/lib/why3/coq/HighOrd.vo
/usr/lib/why3/coq/version
/usr/lib/why3/coq/bool/Bool.vo
/usr/lib/why3/coq/bv/BV_Gen.vo
/usr/lib/why3/coq/bv/Pow2int.vo
/usr/lib/why3/coq/for_drivers/ComputerOfEuclideanDivision.vo
/usr/lib/why3/coq/int/Abs.vo
/usr/lib/why3/coq/int/ComputerDivision.vo
/usr/lib/why3/coq/int/Div2.vo
/usr/lib/why3/coq/int/EuclideanDivision.vo
/usr/lib/why3/coq/int/Exponentiation.vo
/usr/lib/why3/coq/int/Int.vo
/usr/lib/why3/coq/int/MinMax.vo
/usr/lib/why3/coq/int/NumOf.vo
/usr/lib/why3/coq/int/Power.vo
/usr/lib/why3/coq/list/Append.vo
/usr/lib/why3/coq/list/Combine.vo
/usr/lib/why3/coq/list/Distinct.vo
/usr/lib/why3/coq/list/HdTl.vo
/usr/lib/why3/coq/list/HdTlNoOpt.vo
/usr/lib/why3/coq/list/Length.vo
/usr/lib/why3/coq/list/List.vo
/usr/lib/why3/coq/list/Mem.vo
/usr/lib/why3/coq/list/Nth.vo
/usr/lib/why3/coq/list/NthHdTl.vo
/usr/lib/why3/coq/list/NthLength.vo
/usr/lib/why3/coq/list/NthLengthAppend.vo
/usr/lib/why3/coq/list/NthNoOpt.vo
/usr/lib/why3/coq/list/NumOcc.vo
/usr/lib/why3/coq/list/Permut.vo
/usr/lib/why3/coq/list/RevAppend.vo
/usr/lib/why3/coq/list/Reverse.vo
/usr/lib/why3/coq/map/Const.vo
/usr/lib/why3/coq/map/Map.vo
/usr/lib/why3/coq/map/MapInjection.vo
/usr/lib/why3/coq/map/MapPermut.vo
/usr/lib/why3/coq/map/Occ.vo
/usr/lib/why3/coq/number/Coprime.vo
/usr/lib/why3/coq/number/Divisibility.vo
/usr/lib/why3/coq/number/Gcd.vo
/usr/lib/why3/coq/number/Parity.vo
/usr/lib/why3/coq/number/Prime.vo
/usr/lib/why3/coq/option/Option.vo
/usr/lib/why3/coq/real/Abs.vo
/usr/lib/why3/coq/real/ExpLog.vo
/usr/lib/why3/coq/real/FromInt.vo
/usr/lib/why3/coq/real/MinMax.vo
/usr/lib/why3/coq/real/PowerInt.vo
/usr/lib/why3/coq/real/PowerReal.vo
/usr/lib/why3/coq/real/Real.vo
/usr/lib/why3/coq/real/RealInfix.vo
/usr/lib/why3/coq/real/Square.vo
/usr/lib/why3/coq/real/Trigonometry.vo
/usr/lib/why3/coq/set/Set.vo
/usr/lib/why3/plugins/dimacs.cmo
/usr/lib/why3/plugins/dimacs.cmxs
/usr/lib/why3/plugins/genequlin.cmo
/usr/lib/why3/plugins/genequlin.cmxs
/usr/lib/why3/plugins/hypothesis_selection.cmo
/usr/lib/why3/plugins/hypothesis_selection.cmxs
/usr/lib/why3/plugins/python.cmo
/usr/lib/why3/plugins/python.cmxs
/usr/lib/why3/plugins/tptp.cmo
/usr/lib/why3/plugins/tptp.cmxs
/usr/share/bash-completion/completions/why3
/usr/share/doc/why3/AUTHORS
/usr/share/doc/why3/CHANGES.md
/usr/share/doc/why3/README.md
/usr/share/doc/why3/manual.pdf
/usr/share/gtksourceview-2.0/language-specs/why3.lang
/usr/share/licenses/why3/LICENSE
/usr/share/man/man1/why3-cpulimit.1.xz
/usr/share/man/man1/why3.1.xz
/usr/share/man/man1/why3bench.1.xz
/usr/share/man/man1/why3config.1.xz
/usr/share/man/man1/why3doc.1.xz
/usr/share/man/man1/why3ide.1.xz
/usr/share/man/man1/why3ml.1.xz
/usr/share/man/man1/why3realize.1.xz
/usr/share/man/man1/why3replayer.1.xz
/usr/share/texmf/tex/latex/why3/why3lang.sty
/usr/share/vim/vimfiles/ftdetect/why3.vim
/usr/share/vim/vimfiles/syntax/why3.vim
/usr/share/why3/LICENSE
/usr/share/why3/Makefile.config
/usr/share/why3/lang
/usr/share/why3/provers-detection-data.conf
/usr/share/why3/vim
/usr/share/why3/why3session.dtd
/usr/share/why3/drivers/alt_ergo.drv
/usr/share/why3/drivers/alt_ergo_common.drv
/usr/share/why3/drivers/alt_ergo_fp.drv
/usr/share/why3/drivers/alt_ergo_model.drv
/usr/share/why3/drivers/alt_ergo_smt2.drv
/usr/share/why3/drivers/beagle.drv
/usr/share/why3/drivers/c.drv
/usr/share/why3/drivers/cakeml.drv
/usr/share/why3/drivers/coq-common.gen
/usr/share/why3/drivers/coq-realizations.aux
/usr/share/why3/drivers/coq-realize.drv
/usr/share/why3/drivers/coq-ssreflect.drv
/usr/share/why3/drivers/coq.drv
/usr/share/why3/drivers/cvc3.drv
/usr/share/why3/drivers/cvc4-realize.drv
/usr/share/why3/drivers/cvc4.drv
/usr/share/why3/drivers/cvc4_14.drv
/usr/share/why3/drivers/cvc4_15.drv
/usr/share/why3/drivers/cvc4_15_counterexample.drv
/usr/share/why3/drivers/cvc4_16.drv
/usr/share/why3/drivers/cvc4_16_counterexample.drv
/usr/share/why3/drivers/cvc4_bv.gen
/usr/share/why3/drivers/discrimination.gen
/usr/share/why3/drivers/eprover.drv
/usr/share/why3/drivers/gappa.drv
/usr/share/why3/drivers/iprover.drv
/usr/share/why3/drivers/isabelle-2017.gen
/usr/share/why3/drivers/isabelle-2018.gen
/usr/share/why3/drivers/isabelle-common.gen
/usr/share/why3/drivers/isabelle-realizations.aux
/usr/share/why3/drivers/isabelle2017-realize.drv
/usr/share/why3/drivers/isabelle2017.drv
/usr/share/why3/drivers/isabelle2018-realize.drv
/usr/share/why3/drivers/isabelle2018.drv
/usr/share/why3/drivers/mathematica.drv
/usr/share/why3/drivers/mathsat.drv
/usr/share/why3/drivers/metis.drv
/usr/share/why3/drivers/metitarski.drv
/usr/share/why3/drivers/no-bv.gen
/usr/share/why3/drivers/ocaml-unsafe-int.drv
/usr/share/why3/drivers/ocaml64.drv
/usr/share/why3/drivers/polypaver.drv
/usr/share/why3/drivers/princess.drv
/usr/share/why3/drivers/psyche.drv
/usr/share/why3/drivers/pvs-common.gen
/usr/share/why3/drivers/pvs-realizations.aux
/usr/share/why3/drivers/pvs-realize.drv
/usr/share/why3/drivers/pvs.drv
/usr/share/why3/drivers/safeprover.drv
/usr/share/why3/drivers/simplify.drv
/usr/share/why3/drivers/smt-libv2-bv-realization.gen
/usr/share/why3/drivers/smt-libv2-bv.gen
/usr/share/why3/drivers/smt-libv2-floats-gnatprove.gen
/usr/share/why3/drivers/smt-libv2-floats-int_via_bv.gen
/usr/share/why3/drivers/smt-libv2-floats-int_via_real.gen
/usr/share/why3/drivers/smt-libv2-floats.gen
/usr/share/why3/drivers/smt-libv2-gnatprove.gen
/usr/share/why3/drivers/smt-libv2.drv
/usr/share/why3/drivers/smt-libv2.gen
/usr/share/why3/drivers/spass.drv
/usr/share/why3/drivers/spass_types.drv
/usr/share/why3/drivers/tptp-tff0.drv
/usr/share/why3/drivers/tptp-tff1.drv
/usr/share/why3/drivers/tptp.gen
/usr/share/why3/drivers/vampire.drv
/usr/share/why3/drivers/verit.drv
/usr/share/why3/drivers/why3.drv
/usr/share/why3/drivers/why3_smt.drv
/usr/share/why3/drivers/why3_tptp.drv
/usr/share/why3/drivers/yices-smt2.drv
/usr/share/why3/drivers/yices.drv
/usr/share/why3/drivers/z3.drv
/usr/share/why3/drivers/z3_432.drv
/usr/share/why3/drivers/z3_440.drv
/usr/share/why3/drivers/z3_440_counterexample.drv
/usr/share/why3/drivers/z3_bv.gen
/usr/share/why3/drivers/z3_smtv1.drv
/usr/share/why3/drivers/zenon.drv
/usr/share/why3/drivers/zenon_modulo.drv
/usr/share/why3/images/fatcow.rc
/usr/share/why3/images/logo-why.png
/usr/share/why3/images/fatcow/accept.png
/usr/share/why3/images/fatcow/bin.png
/usr/share/why3/images/fatcow/bomb.png
/usr/share/why3/images/fatcow/brick_delete.png
/usr/share/why3/images/fatcow/bullet_black.png
/usr/share/why3/images/fatcow/bullet_blue.png
/usr/share/why3/images/fatcow/bullet_green.png
/usr/share/why3/images/fatcow/bullet_red.png
/usr/share/why3/images/fatcow/bullet_white.png
/usr/share/why3/images/fatcow/cancel.png
/usr/share/why3/images/fatcow/control_pause_blue.png
/usr/share/why3/images/fatcow/control_play_blue.png
/usr/share/why3/images/fatcow/database_delete.png
/usr/share/why3/images/fatcow/ddr_memory.png
/usr/share/why3/images/fatcow/delete.png
/usr/share/why3/images/fatcow/exclamation.png
/usr/share/why3/images/fatcow/folder.png
/usr/share/why3/images/fatcow/help.png
/usr/share/why3/images/fatcow/magic_wand_2.png
/usr/share/why3/images/fatcow/multitool.png
/usr/share/why3/images/fatcow/package.png
/usr/share/why3/images/fatcow/pencil.png
/usr/share/why3/images/fatcow/readme-fatcow.txt
/usr/share/why3/images/fatcow/script.png
/usr/share/why3/images/fatcow/time_delete.png
/usr/share/why3/images/fatcow/timeline.png
/usr/share/why3/images/fatcow/update.png
/usr/share/why3/stdlib/algebra.mlw
/usr/share/why3/stdlib/appmap.mlw
/usr/share/why3/stdlib/appset.mlw
/usr/share/why3/stdlib/array.mlw
/usr/share/why3/stdlib/bag.mlw
/usr/share/why3/stdlib/bintree.mlw
/usr/share/why3/stdlib/bool.mlw
/usr/share/why3/stdlib/bv.mlw
/usr/share/why3/stdlib/cursor.mlw
/usr/share/why3/stdlib/debug.mlw
/usr/share/why3/stdlib/exn.mlw
/usr/share/why3/stdlib/floating_point.mlw
/usr/share/why3/stdlib/for_drivers.mlw
/usr/share/why3/stdlib/function.mlw
/usr/share/why3/stdlib/graph.mlw
/usr/share/why3/stdlib/hashtbl.mlw
/usr/share/why3/stdlib/ieee_float.mlw
/usr/share/why3/stdlib/impmap.mlw
/usr/share/why3/stdlib/impset.mlw
/usr/share/why3/stdlib/int.mlw
/usr/share/why3/stdlib/io.mlw
/usr/share/why3/stdlib/list.mlw
/usr/share/why3/stdlib/map.mlw
/usr/share/why3/stdlib/matrix.mlw
/usr/share/why3/stdlib/null.mlw
/usr/share/why3/stdlib/number.mlw
/usr/share/why3/stdlib/ocaml.mlw
/usr/share/why3/stdlib/option.mlw
/usr/share/why3/stdlib/pigeon.mlw
/usr/share/why3/stdlib/pqueue.mlw
/usr/share/why3/stdlib/python.mlw
/usr/share/why3/stdlib/queue.mlw
/usr/share/why3/stdlib/random.mlw
/usr/share/why3/stdlib/real.mlw
/usr/share/why3/stdlib/ref.mlw
/usr/share/why3/stdlib/regexp.mlw
/usr/share/why3/stdlib/relations.mlw
/usr/share/why3/stdlib/seq.mlw
/usr/share/why3/stdlib/set.mlw
/usr/share/why3/stdlib/stack.mlw
/usr/share/why3/stdlib/string.mlw
/usr/share/why3/stdlib/sum.mlw
/usr/share/why3/stdlib/tptp.mlw
/usr/share/why3/stdlib/tree.mlw
/usr/share/why3/stdlib/witness.mlw
/usr/share/why3/stdlib/mach/array.mlw
/usr/share/why3/stdlib/mach/bv.mlw
/usr/share/why3/stdlib/mach/c.mlw
/usr/share/why3/stdlib/mach/float.mlw
/usr/share/why3/stdlib/mach/int.mlw
/usr/share/why3/stdlib/mach/matrix.mlw
/usr/share/why3/stdlib/mach/onetime.mlw
/usr/share/why3/stdlib/mach/peano.mlw
/usr/share/zsh/site-functions/_why3

Changelog

2020-01-27 - tv <tv> 1.2.1-1.mga8
+ Revision: 1484161
- add BuildConflicts to fix building
- new release + rebuild for ocaml-4.10
- fix cairo linking
- BR on ocaml-lablgtk3-sourceview3-devel
- new release + rebuild for ocaml-4.10
+ wally <wally>
- replace deprecated %configure2_5x
2019-03-06 - daviddavid <daviddavid> 1.2.0-1.mga7
+ Revision: 1371993
- new version: 1.2.0
2019-01-02 - daviddavid <daviddavid> 1.1.1-1.mga7
+ Revision: 1348727
- new version: 1.1.1
2018-11-16 - daviddavid <daviddavid> 1.1.0-4.mga7
+ Revision: 1330090
- rebuild for new menhir 20181113
2018-10-25 - tv <tv> 1.1.0-3.mga7
+ Revision: 1325282
- rebuild with ocaml-4.07.1
2018-10-25 - daviddavid <daviddavid> 1.1.0-2.mga7
+ Revision: 1325224
- rebuild for new ocaml 4.07.1
2018-10-21 - daviddavid <daviddavid> 1.1.0-1.mga7
+ Revision: 1323261
- new version: 1.1.0
2018-09-30 - daviddavid <daviddavid> 1.0.0-3.mga7
+ Revision: 1312657
- rebuild for new menhir 20180905
2018-08-24 - daviddavid <daviddavid> 1.0.0-1.mga7
+ Revision: 1253664
- new version: 1.0.0
- define bcond frama-c if a bootstrap build is needed
2018-03-25 - daviddavid <daviddavid> 0.88.3-2.mga7
+ Revision: 1212407
- rebuild for new ocaml-zarith 1.7

See Also

Package Description
why3-emacs-1.2.1-1.mga8.noarch.rpm Emacs support file for why3 files
widelands-b20-3.mga8.i586.rpm Settlers II clone
widelands-data-b20-3.mga8.noarch.rpm Game data files for widelands
widelands-music-b20-3.mga8.noarch.rpm Music for widelands
widgetsnbextension-3.5.1-1.mga8.noarch.rpm IPython HTML widgets for Jupyter
wifite-2.0r85-6.mga7.noarch.rpm Automated wireless auditor
wildfly-10.1.0-9.mga7.noarch.rpm WildFly Application Server
wildfly-arquillian-common-1.0.2-3.mga7.noarch.rpm WildFly: Arquillian Common
wildfly-arquillian-common-domain-1.0.2-3.mga7.noarch.rpm WildFly: Arquillian Common Domain
wildfly-arquillian-container-domain-managed-1.0.2-3.mga7.noarch.rpm WildFly: Arquillian Managed Domain Container
wildfly-arquillian-container-domain-remote-1.0.2-3.mga7.noarch.rpm WildFly: Arquillian Remote Domain Container
wildfly-arquillian-container-embedded-1.0.2-3.mga7.noarch.rpm WildFly: Arquillian Embedded Container
wildfly-arquillian-container-managed-1.0.2-3.mga7.noarch.rpm WildFly: Arquillian Managed Container
wildfly-arquillian-container-remote-1.0.2-3.mga7.noarch.rpm WildFly: Arquillian Remote Container
wildfly-arquillian-javadoc-1.0.2-3.mga7.noarch.rpm Javadoc for wildfly-arquillian
Advertisement
Advertisement