diff options
author | Kasper Gałkowski <k@galkowski.xyz> | 2023-03-13 23:42:00 +0100 |
---|---|---|
committer | Kasper Gałkowski <k@galkowski.xyz> | 2023-03-13 23:42:00 +0100 |
commit | 97ec9764a4c2a23eef5c505183c858a3ae80606c (patch) | |
tree | 0b503cb6aae0d4c71a5c82d485471dbf7a36ebc3 /pkgs/development/coq-modules/mathcomp-zify/default.nix | |
parent | c2c55f1969974621cb806aa5beb9f85eebe96082 (diff) |
clasp-common-lisp: fix eval
Forgot this change in 84eea85ad99ac2dd4c30d22dc32004888ea73b03
Diffstat (limited to 'pkgs/development/coq-modules/mathcomp-zify/default.nix')
0 files changed, 0 insertions, 0 deletions