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: custom
Submitter: dcreager
Maintainer: dcreager
Last Packager: dcreager
Votes: 2
Popularity: 0.013487
First Submitted: 2016-06-18 00:56
Last Updated: 2017-10-25 14:46

Latest Comments

dcreager commented on 2017-10-25 14:47

Updated to 4.2.2