diff options
author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2015-05-28 14:11:58 +0200 |
---|---|---|
committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2015-06-19 18:11:33 +0200 |
commit | 0f6b981fbabf22cc816fe09846e6452e22ea6ae2 (patch) | |
tree | 94fc59565bfc8a1a6d40a018a9019e165962791e /pkgs/development/coq-modules/ssreflect/default.nix | |
parent | e6b29c024be556362552b6879534e4d372bd8dfd (diff) | |
download | nixlib-0f6b981fbabf22cc816fe09846e6452e22ea6ae2.tar nixlib-0f6b981fbabf22cc816fe09846e6452e22ea6ae2.tar.gz nixlib-0f6b981fbabf22cc816fe09846e6452e22ea6ae2.tar.bz2 nixlib-0f6b981fbabf22cc816fe09846e6452e22ea6ae2.tar.lz nixlib-0f6b981fbabf22cc816fe09846e6452e22ea6ae2.tar.xz nixlib-0f6b981fbabf22cc816fe09846e6452e22ea6ae2.tar.zst nixlib-0f6b981fbabf22cc816fe09846e6452e22ea6ae2.zip |
coq-mathcomp: also build and install the documentation
Diffstat (limited to 'pkgs/development/coq-modules/ssreflect/default.nix')
0 files changed, 0 insertions, 0 deletions