diff options
author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2018-12-03 15:14:33 +0000 |
---|---|---|
committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2019-01-18 14:53:15 +0000 |
commit | 63383a6db29cca6e65aaddfb77eb0376c63b98de (patch) | |
tree | 18fe1879aedd13d3cd4989abd383c91fa62a439b /pkgs/applications/editors/neovim/wrapper.nix | |
parent | 14474a449b946274142b9404e0b4146f1a24068b (diff) | |
download | nixlib-63383a6db29cca6e65aaddfb77eb0376c63b98de.tar nixlib-63383a6db29cca6e65aaddfb77eb0376c63b98de.tar.gz nixlib-63383a6db29cca6e65aaddfb77eb0376c63b98de.tar.bz2 nixlib-63383a6db29cca6e65aaddfb77eb0376c63b98de.tar.lz nixlib-63383a6db29cca6e65aaddfb77eb0376c63b98de.tar.xz nixlib-63383a6db29cca6e65aaddfb77eb0376c63b98de.tar.zst nixlib-63383a6db29cca6e65aaddfb77eb0376c63b98de.zip |
coqPackages.QuickChick: init at 1.0.2 for Coq 8.8
Diffstat (limited to 'pkgs/applications/editors/neovim/wrapper.nix')
0 files changed, 0 insertions, 0 deletions