diff options
author | Peter Simons <simons@cryp.to> | 2017-09-15 20:47:24 +0200 |
---|---|---|
committer | Peter Simons <simons@cryp.to> | 2017-09-15 20:52:24 +0200 |
commit | 76519f9299065671a694adf9214e54cb3efae5cd (patch) | |
tree | 8f41cabd4f9b41b69ee5f8c95f1761525bb5139f /pkgs/applications/science/logic/mcrl2 | |
parent | d2f206c06199b8c4df3df1a8e8e125a702e1e4f5 (diff) | |
download | nixpkgs-76519f9299065671a694adf9214e54cb3efae5cd.tar nixpkgs-76519f9299065671a694adf9214e54cb3efae5cd.tar.gz nixpkgs-76519f9299065671a694adf9214e54cb3efae5cd.tar.bz2 nixpkgs-76519f9299065671a694adf9214e54cb3efae5cd.tar.lz nixpkgs-76519f9299065671a694adf9214e54cb3efae5cd.tar.xz nixpkgs-76519f9299065671a694adf9214e54cb3efae5cd.tar.zst nixpkgs-76519f9299065671a694adf9214e54cb3efae5cd.zip |
ghc-7.2.2: record the commit that broke it
git-bisect says the problem is 51cf42ad0d3ccb55af182f1f0ee5eb5094ea5995.
Diffstat (limited to 'pkgs/applications/science/logic/mcrl2')
0 files changed, 0 insertions, 0 deletions