diff options
author | John Wiegley <johnw@newartisans.com> | 2017-04-23 21:53:00 -0700 |
---|---|---|
committer | John Wiegley <johnw@newartisans.com> | 2017-04-23 21:53:21 -0700 |
commit | 2df7f1b5b5ad5c1a4805f6d756ede50e0930e9eb (patch) | |
tree | 6eceed39e4be93815d2a0669704af9a14a4f3de7 /pkgs/misc/xosd/default.nix | |
parent | 7025fc6d06dec04ca047ff46a18b92a79c6031f0 (diff) | |
download | nixlib-2df7f1b5b5ad5c1a4805f6d756ede50e0930e9eb.tar nixlib-2df7f1b5b5ad5c1a4805f6d756ede50e0930e9eb.tar.gz nixlib-2df7f1b5b5ad5c1a4805f6d756ede50e0930e9eb.tar.bz2 nixlib-2df7f1b5b5ad5c1a4805f6d756ede50e0930e9eb.tar.lz nixlib-2df7f1b5b5ad5c1a4805f6d756ede50e0930e9eb.tar.xz nixlib-2df7f1b5b5ad5c1a4805f6d756ede50e0930e9eb.tar.zst nixlib-2df7f1b5b5ad5c1a4805f6d756ede50e0930e9eb.zip |
coq.QuickChick: Update to latest version that works with Coq 8.6
Diffstat (limited to 'pkgs/misc/xosd/default.nix')
0 files changed, 0 insertions, 0 deletions