diff options
author | Felipe Silva <git@felipeqq2.rocks> | 2024-01-17 20:31:05 -0400 |
---|---|---|
committer | Felipe Silva <git@felipeqq2.rocks> | 2024-01-17 20:31:05 -0400 |
commit | 6dbaf744d62e1fb19cc360f0cebbf850f32b5e3f (patch) | |
tree | 255ec525c96cbdd1c4f66c67043ca0b8f40b5a7f /pkgs/development/coq-modules | |
parent | 71b5ecd633e63ca4b1fba51a4e990798b9073a93 (diff) | |
download | nixlib-6dbaf744d62e1fb19cc360f0cebbf850f32b5e3f.tar nixlib-6dbaf744d62e1fb19cc360f0cebbf850f32b5e3f.tar.gz nixlib-6dbaf744d62e1fb19cc360f0cebbf850f32b5e3f.tar.bz2 nixlib-6dbaf744d62e1fb19cc360f0cebbf850f32b5e3f.tar.lz nixlib-6dbaf744d62e1fb19cc360f0cebbf850f32b5e3f.tar.xz nixlib-6dbaf744d62e1fb19cc360f0cebbf850f32b5e3f.tar.zst nixlib-6dbaf744d62e1fb19cc360f0cebbf850f32b5e3f.zip |
legendary-gl: add main program
Diffstat (limited to 'pkgs/development/coq-modules')
0 files changed, 0 insertions, 0 deletions