diff options
| author | Quentin Aristote <quentin@aristote.fr> | 2021-09-20 21:04:39 +0200 |
|---|---|---|
| committer | Quentin Aristote <quentin@aristote.fr> | 2021-09-20 21:04:39 +0200 |
| commit | 8e6f4bb8286a0df876e2757b1f18665fa41c4b66 (patch) | |
| tree | 54aae38180ccd96cf9cd75520247c16ecc15a6d5 /home/pkgs/firefoxPackages/shell.nix | |
| parent | 38cfa2de807f802895a192676d2afde7995d0ed8 (diff) | |
add coq
Diffstat (limited to 'home/pkgs/firefoxPackages/shell.nix')
0 files changed, 0 insertions, 0 deletions