You are here:

Package: mona

Upstream info
Summary: A decision procedure for the WS1S and WS2S logics
Description:
URL: https://www.brics.dk/mona/
Owner: jjames
Bugzilla: Active bugs
Pagure: https://src.fedoraproject.org/rpms/mona
Koschei: https://koschei.fedoraproject.org/package/mona
Packages available in Fedora Repositories
Branch Repository Version-Release Owner Co-maintainers
f39 base 1.4r18-9.fc39
f38 base 1.4r18-8.fc38
f37 base 1.4r18-7.fc37
f36 base 1.4r18-6.fc36
f35 base 1.4r18-4.fc35
f34 base 1.4r18-3.fc34
f33 base 1.4r18-2.fc33
f32 base 1.4r18-1.fc32
f31 base 1.4r17-8.fc31
f30 base 1.4r17-7.fc30
f29 base 1.4r17-6.fc29
f28 base 1.4r17-4.fc27
f27 base 1.4r17-4.fc27
f26 base 1.4r17-2.fc26
f25 base 1.4r17-1.fc25
f24 base 1.4r17-1.fc24
f23 base 1.4r16-1.fc23
f22 base 1.4r15-5.fc22
f21 base 1.4r15-4.fc21
f20 base 1.4r15-2.fc20
f19 updates 1.4r15-1.fc19
  base 1.4r14-1.fc19
f18 base 1.4r13-7.fc18
f17 base 1.4r13-6.fc17
f16 base 1.4r13-5.fc15
f15 base 1.4r13-5.fc15
f14 base 1.4r13-3.fc12
F-13 base 1.4r13-3.fc12
F-12 base 1.4r13-3.fc12
F-11 base 1.4r13-2.fc11
F-9 updates 1.4r13-1.fc9
F-8 updates 1.4r13-1.fc8