You are here:
Package: mona
| 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 |
| 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 |