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: custom
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