Search Criteria
Package Details: fdr 4.2.0-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: | dcreager |
| Last Packager: | dcreager |
| Votes: | 1 |
| Popularity: | 0.021752 |
| First Submitted: | 2016-06-18 00:56 |
| Last Updated: | 2017-01-22 20:54 |