why3-1.1.0-4.mga7.x86_64.rpm


Advertisement

Description

why3 - Software verification platform

Property Value
Distribution Mageia Cauldron
Repository Mageia Core x86_64
Package name why3
Package version 1.1.0
Package release 4.mga7
Package architecture x86_64
Package type rpm
Installed size 106.90 MB
Download size 15.94 MB
Official Mirror distrib-coffee.ipsl.jussieu.fr
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.1.0-4.mga7.i586.rpm 1.1.0 i586 Mageia Core
why3 - - -

Requires

Name Value
alt-ergo -
coq -
libc.so.6()(64bit) -
libc.so.6(GLIBC_2.10)(64bit) -
libc.so.6(GLIBC_2.11)(64bit) -
libc.so.6(GLIBC_2.14)(64bit) -
libc.so.6(GLIBC_2.16)(64bit) -
libc.so.6(GLIBC_2.17)(64bit) -
libc.so.6(GLIBC_2.2.5)(64bit) -
libc.so.6(GLIBC_2.28)(64bit) -
libc.so.6(GLIBC_2.3.4)(64bit) -
libc.so.6(GLIBC_2.4)(64bit) -
libc.so.6(GLIBC_2.7)(64bit) -
libc.so.6(GLIBC_2.9)(64bit) -
libdl.so.2()(64bit) -
libdl.so.2(GLIBC_2.2.5)(64bit) -
libgdk-x11-2.0.so.0()(64bit) -
libgdk_pixbuf-2.0.so.0()(64bit) -
libglib-2.0.so.0()(64bit) -
libgobject-2.0.so.0()(64bit) -
libgtk-x11-2.0.so.0()(64bit) -
libgtksourceview-2.0.so.0()(64bit) -
libm.so.6()(64bit) -
libm.so.6(GLIBC_2.2.5)(64bit) -
libpango-1.0.so.0()(64bit) -
libpthread.so.0()(64bit) -
libpthread.so.0(GLIBC_2.2.5)(64bit) -
libz.so.1()(64bit) -
ocaml(CamlinternalFormatBasics) == e065a8b8027a7269fbe69420861f3140
ocaml(CamlinternalLazy) == 99feaf3fb1fef8a55607bf0f4e9c9c5b
ocaml(CamlinternalMod) == 7dcb9bcfb682107f145a641fd7ec59e8
ocaml(MenhirLib) == 569ea5f8d0cbded1d6fbbdd209035f06
ocaml(Stdlib) == 785bc4357cd198defc8f1d3d8a46bf31
ocaml(Stdlib__arg) == f4a0f83922134c40f8eb972794d64103
ocaml(Stdlib__array) == f10b61e53267652b8823075c289eff0e
ocaml(Stdlib__bigarray) == fc1aa91cdfe245e30930771ff67c0b05
ocaml(Stdlib__buffer) == 47741a304c36252fb0d02df4002cd45b
ocaml(Stdlib__char) == 6383a30ad3a6ba875e99d104b0ac895b
ocaml(Stdlib__complex) == e9bb8037318eb026e17c232baa69f0d6
ocaml(Stdlib__filename) == c1ab73cc861ed1e88e4d9649883de6ab
ocaml(Stdlib__format) == ded827a86373f27e1e1668a07e19a5f0
ocaml(Stdlib__hashtbl) == 604c8339f788853d04a57b7015e3ab28
ocaml(Stdlib__int32) == 9face80aef14e72b91da5c1a7ef42376
ocaml(Stdlib__int64) == 678dd94a831e040b9d89ed6046dca2a3
ocaml(Stdlib__lazy) == d20dd5c9a3c7cfe4ff673ca9f4d1db5f
ocaml(Stdlib__lexing) == 5dab01a8724e0e13df2d86054a5b4940
ocaml(Stdlib__list) == 6ac77ba2b0170f6297044c5028e5a32c
ocaml(Stdlib__map) == 2b51a8a34feedf31a635a8ddcfde859d
ocaml(Stdlib__nativeint) == 9ed286c714ad64f5aea2904e599e0416
ocaml(Stdlib__obj) == dee2aaa1e4d02f8d2c44fe83f8df0aaf
ocaml(Stdlib__parsing) == e3e7b6283651c61b64d020218afd2444
ocaml(Stdlib__printf) == 1e129649940609c444244e9f06f0be2e
ocaml(Stdlib__queue) == 5e6ae1f9aaef12b613b13c18e99086a9
ocaml(Stdlib__random) == 723e24b742987d757fa59507f4b45936
ocaml(Stdlib__seq) == 5714d5da4a2ed04debb615c21e61bad9
ocaml(Stdlib__set) == a52672326ca391bcc902a00841479c39
ocaml(Stdlib__stack) == a0ebd14997dbcd7f356888e0e1146de5
ocaml(Stdlib__string) == cf3a35a636b40f4dfa3c7f93ef2f2d33
ocaml(Stdlib__sys) == 083703b1bc3524a4912f1c97b4d508f4
ocaml(Stdlib__uchar) == 6d473d0370eac1a310ce126c25d7883a
ocaml(Str) == 30f54c0be0d80a8362b6dd47773463d5
ocaml(Unix) == df164073631805bfe89500851a57dedf
ocaml(Why3) == 023c660acc6409472199695db1a91126
ocaml(runtime) == 4.07.1
vim-minimal -

Provides

Name Value
ocaml(Dimacs) == 17481e1150022e57bd492b42df86f691
ocaml(Genequlin) == 5ea4f58cb3548b4741498bca5969178d
ocaml(Hypothesis_selection) == 8f23c109e434b8530e6309e8c1e6211e
ocaml(Python) == 81fd27a5b9e462d6542a7181de33c7a3
ocaml(Tptp) == 84737858f6a4c938c51c29d92184a318
why3 == 1.1.0-4.mga7
why3(x86-64) == 1.1.0-4.mga7

Download

Type URL
Binary Package why3-1.1.0-4.mga7.x86_64.rpm
Source Package why3-1.1.0-4.mga7.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/14/08f4fca95346cd0d3720c496d4b7def62e1444
/usr/lib/.build-id/15/1957b32003bf00fe6296fc38008112d81f1da2
/usr/lib/.build-id/18/fdbeea0950849f519e69ec4182afab57793cb6
/usr/lib/.build-id/4a/b163fe26468385b7299770282ccf862ac50774
/usr/lib/.build-id/4a/b163fe26468385b7299770282ccf862ac50774.1
/usr/lib/.build-id/4a/b163fe26468385b7299770282ccf862ac50774.2
/usr/lib/.build-id/5b/3e6326258cc8c36d6423319329478ea33480e9
/usr/lib/.build-id/66/8b780474914218d962e1e5478e4ec04bd30f5a
/usr/lib/.build-id/91/f9d35f5aa14f705194b5a427e5b03a397204b9
/usr/lib/.build-id/98/c8ef97cef87c943c7ccac1e201cdcffc58b7ec
/usr/lib/.build-id/ad/d2b82d215503c8b7f0e2257e34772ac8e565d4
/usr/lib/.build-id/ba/e12c52c26da80fb9fcb9d0c19d3cb76a9b2c52
/usr/lib/.build-id/c4/62bf199ce2a94c18fba9da625f6dec18bacfde
/usr/lib/.build-id/c8/42f22d1c8332b3732e68269a462694a4d4f61d
/usr/lib/.build-id/c8/789b6065a677db88beb90f36b8af4fd9935ce4
/usr/lib/.build-id/ce/2dc8ad3f6095413399c32167cf37044f35d22a
/usr/lib/.build-id/dc/3f2be1a1322da7540d9cc025856c5214147eab
/usr/lib/.build-id/e6/d8232421d9715dbc7f0686fbaf38f9548a2d44
/usr/lib/.build-id/f7/aa9eacb76ce925666b0532d67b37169770055c
/usr/lib/.build-id/f9/ccadb25668fefe948a532238d67711f346e9ea
/usr/lib64/why3/why3-call-pvs
/usr/lib64/why3/why3cpulimit
/usr/lib64/why3/why3server
/usr/lib64/why3/commands/why3config
/usr/lib64/why3/commands/why3doc
/usr/lib64/why3/commands/why3execute
/usr/lib64/why3/commands/why3extract
/usr/lib64/why3/commands/why3ide
/usr/lib64/why3/commands/why3prove
/usr/lib64/why3/commands/why3realize
/usr/lib64/why3/commands/why3replay
/usr/lib64/why3/commands/why3session
/usr/lib64/why3/commands/why3shell
/usr/lib64/why3/commands/why3wc
/usr/lib64/why3/commands/why3webserver
/usr/lib64/why3/coq/BuiltIn.vo
/usr/lib64/why3/coq/HighOrd.vo
/usr/lib64/why3/coq/version
/usr/lib64/why3/coq/bool/Bool.vo
/usr/lib64/why3/coq/bv/BV_Gen.vo
/usr/lib64/why3/coq/bv/Pow2int.vo
/usr/lib64/why3/coq/for_drivers/ComputerOfEuclideanDivision.vo
/usr/lib64/why3/coq/int/Abs.vo
/usr/lib64/why3/coq/int/ComputerDivision.vo
/usr/lib64/why3/coq/int/Div2.vo
/usr/lib64/why3/coq/int/EuclideanDivision.vo
/usr/lib64/why3/coq/int/Exponentiation.vo
/usr/lib64/why3/coq/int/Int.vo
/usr/lib64/why3/coq/int/MinMax.vo
/usr/lib64/why3/coq/int/NumOf.vo
/usr/lib64/why3/coq/int/Power.vo
/usr/lib64/why3/coq/list/Append.vo
/usr/lib64/why3/coq/list/Combine.vo
/usr/lib64/why3/coq/list/Distinct.vo
/usr/lib64/why3/coq/list/HdTl.vo
/usr/lib64/why3/coq/list/HdTlNoOpt.vo
/usr/lib64/why3/coq/list/Length.vo
/usr/lib64/why3/coq/list/List.vo
/usr/lib64/why3/coq/list/Mem.vo
/usr/lib64/why3/coq/list/Nth.vo
/usr/lib64/why3/coq/list/NthHdTl.vo
/usr/lib64/why3/coq/list/NthLength.vo
/usr/lib64/why3/coq/list/NthLengthAppend.vo
/usr/lib64/why3/coq/list/NthNoOpt.vo
/usr/lib64/why3/coq/list/NumOcc.vo
/usr/lib64/why3/coq/list/Permut.vo
/usr/lib64/why3/coq/list/RevAppend.vo
/usr/lib64/why3/coq/list/Reverse.vo
/usr/lib64/why3/coq/map/Const.vo
/usr/lib64/why3/coq/map/Map.vo
/usr/lib64/why3/coq/map/MapInjection.vo
/usr/lib64/why3/coq/map/MapPermut.vo
/usr/lib64/why3/coq/map/Occ.vo
/usr/lib64/why3/coq/number/Coprime.vo
/usr/lib64/why3/coq/number/Divisibility.vo
/usr/lib64/why3/coq/number/Gcd.vo
/usr/lib64/why3/coq/number/Parity.vo
/usr/lib64/why3/coq/number/Prime.vo
/usr/lib64/why3/coq/option/Option.vo
/usr/lib64/why3/coq/real/Abs.vo
/usr/lib64/why3/coq/real/ExpLog.vo
/usr/lib64/why3/coq/real/FromInt.vo
/usr/lib64/why3/coq/real/MinMax.vo
/usr/lib64/why3/coq/real/PowerInt.vo
/usr/lib64/why3/coq/real/PowerReal.vo
/usr/lib64/why3/coq/real/Real.vo
/usr/lib64/why3/coq/real/RealInfix.vo
/usr/lib64/why3/coq/real/Square.vo
/usr/lib64/why3/coq/real/Trigonometry.vo
/usr/lib64/why3/coq/set/Set.vo
/usr/lib64/why3/plugins/dimacs.cmo
/usr/lib64/why3/plugins/dimacs.cmxs
/usr/lib64/why3/plugins/genequlin.cmo
/usr/lib64/why3/plugins/genequlin.cmxs
/usr/lib64/why3/plugins/hypothesis_selection.cmo
/usr/lib64/why3/plugins/hypothesis_selection.cmxs
/usr/lib64/why3/plugins/python.cmo
/usr/lib64/why3/plugins/python.cmxs
/usr/lib64/why3/plugins/tptp.cmo
/usr/lib64/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

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
2018-02-10 - daviddavid <daviddavid> 0.88.3-1.mga7
+ Revision: 1200031
- new version: 0.88.3
2017-12-05 - tv <tv> 0.88.1-1.mga7
+ Revision: 1181301
- new release
- disable circular deps with frama-c
- rebuild for new ocaml
2017-05-27 - neoclust <neoclust> 0.87.3-3.mga6
+ Revision: 1105082
- Rebuild for ARM

See Also

Package Description
why3-emacs-1.1.0-4.mga7.noarch.rpm Emacs support file for why3 files
widelands-b19-11.mga7.x86_64.rpm Settlers II clone
widelands-basic-data-b19-11.mga7.noarch.rpm Basic data set for widelands
widelands-i18n-b19-11.mga7.noarch.rpm Translations for widelands
widelands-maps-b19-11.mga7.noarch.rpm Maps for widelands
widelands-music-b19-11.mga7.noarch.rpm Music for widelands
widgetsnbextension-2.0.0-2.mga7.noarch.rpm IPython HTML widgets for Jupyter
wifi-radar-2.0.s10-3.mga7.noarch.rpm Utility for managing WiFi profiles
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
Advertisement
Advertisement