diff options
author | Austin Seipp <aseipp@pobox.com> | 2017-10-29 18:38:17 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-10-29 18:38:17 -0500 |
commit | 14291c2723aaa0c3d369258e5b47ad40b2382133 (patch) | |
tree | e0699a8c053d31572ce0e0f13fe7c6053a74ffe6 /pkgs/development/coq-modules/dpdgraph/default.nix | |
parent | aa12eddb6c9683145160c4b75604a259478fef54 (diff) | |
parent | 68b2eeb1cbc1a674c65362ea45f4cdb0c0bf12b4 (diff) | |
download | nixlib-14291c2723aaa0c3d369258e5b47ad40b2382133.tar nixlib-14291c2723aaa0c3d369258e5b47ad40b2382133.tar.gz nixlib-14291c2723aaa0c3d369258e5b47ad40b2382133.tar.bz2 nixlib-14291c2723aaa0c3d369258e5b47ad40b2382133.tar.lz nixlib-14291c2723aaa0c3d369258e5b47ad40b2382133.tar.xz nixlib-14291c2723aaa0c3d369258e5b47ad40b2382133.tar.zst nixlib-14291c2723aaa0c3d369258e5b47ad40b2382133.zip |
Merge pull request #30914 from tilpner/chez-update
chez: 9.4 -> 9.5
Diffstat (limited to 'pkgs/development/coq-modules/dpdgraph/default.nix')
0 files changed, 0 insertions, 0 deletions