summary refs log tree commit diff
path: root/pkgs/development/idris-modules/categories.nix
diff options
context:
space:
mode:
authorMaximilian Bosch <maximilian@mbosch.me>2018-10-25 14:51:22 +0200
committerGitHub <noreply@github.com>2018-10-25 14:51:22 +0200
commit5dc174804313ab0d3fcb4dfe28c4509f9f3421a0 (patch)
tree1aab817d69f0b10b589bd37d8c5c38d5036d6b18 /pkgs/development/idris-modules/categories.nix
parent926d6c0bad41a094aefe0a9d3bbd14ccec83b30e (diff)
parentc0d90b57d68e8973c4bd94244cac0bf07a0368ff (diff)
downloadnixlib-5dc174804313ab0d3fcb4dfe28c4509f9f3421a0.tar
nixlib-5dc174804313ab0d3fcb4dfe28c4509f9f3421a0.tar.gz
nixlib-5dc174804313ab0d3fcb4dfe28c4509f9f3421a0.tar.bz2
nixlib-5dc174804313ab0d3fcb4dfe28c4509f9f3421a0.tar.lz
nixlib-5dc174804313ab0d3fcb4dfe28c4509f9f3421a0.tar.xz
nixlib-5dc174804313ab0d3fcb4dfe28c4509f9f3421a0.tar.zst
nixlib-5dc174804313ab0d3fcb4dfe28c4509f9f3421a0.zip
Merge pull request #48728 from qolii/eternal-terminal-module
nixos/eternal-terminal: init new module.
Diffstat (limited to 'pkgs/development/idris-modules/categories.nix')
0 files changed, 0 insertions, 0 deletions