Search Criteria
Package Details: fdr 4.2.2-1
| Git Clone URL: | https://aur.archlinux.org/fdr.git (read-only) |
|---|---|
| Package Base: | fdr |
| Description: | Refinement checker for CSP |
| Upstream URL: | https://www.cs.ox.ac.uk/projects/fdr/ |
| Licenses: | |
| Submitter: | dcreager |
| Maintainer: | sauyon |
| Last Packager: | sauyon |
| Votes: | 2 |
| Popularity: | 0.000112 |
| First Submitted: | 2016-06-18 00:56 |
| Last Updated: | 2018-11-24 08:09 |
Latest Comments
dcreager commented on 2017-10-25 14:47
Updated to 4.2.2