diff options
| author | a-n-n-a-l-e-e <150648636+a-n-n-a-l-e-e@users.noreply.github.com> | 2024-01-17 20:56:58 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-01-17 20:56:58 -0800 |
| commit | 61b17611ce9ea93ad03387513e88d96cdc613331 (patch) | |
| tree | 92f1964e8115693b3e786f64225d39b51ad0af14 /pkgs/development/coq-modules | |
| parent | 4b7c4807796337530a3c865ffdd5796f9a5e1aa7 (diff) | |
| parent | 6dbaf744d62e1fb19cc360f0cebbf850f32b5e3f (diff) | |
| download | nixlib-61b17611ce9ea93ad03387513e88d96cdc613331.tar nixlib-61b17611ce9ea93ad03387513e88d96cdc613331.tar.gz nixlib-61b17611ce9ea93ad03387513e88d96cdc613331.tar.bz2 nixlib-61b17611ce9ea93ad03387513e88d96cdc613331.tar.lz nixlib-61b17611ce9ea93ad03387513e88d96cdc613331.tar.xz nixlib-61b17611ce9ea93ad03387513e88d96cdc613331.tar.zst nixlib-61b17611ce9ea93ad03387513e88d96cdc613331.zip | |
Merge pull request #281658 from felipeqq2/legendary-gl/main-program
legendary-gl: add main program
Diffstat (limited to 'pkgs/development/coq-modules')
0 files changed, 0 insertions, 0 deletions