summary refs log tree commit diff
path: root/pkgs/development/coq-modules/corn/default.nix
diff options
context:
space:
mode:
authorJonas Heinrich <onny@project-insanity.org>2022-09-19 12:49:06 +0200
committerGitHub <noreply@github.com>2022-09-19 12:49:06 +0200
commitfa199fad91addb22863e09de2750628b072114a1 (patch)
tree932860d5b0dfe286a54a5a61cc9bcca66fc8d6ca /pkgs/development/coq-modules/corn/default.nix
parentbaa5459a39851727d1d678db208a106f52d157fe (diff)
parent95f4d35f6dcef49c4601dd64d4b123c0b2c38430 (diff)
downloadnixpkgs-fa199fad91addb22863e09de2750628b072114a1.tar
nixpkgs-fa199fad91addb22863e09de2750628b072114a1.tar.gz
nixpkgs-fa199fad91addb22863e09de2750628b072114a1.tar.bz2
nixpkgs-fa199fad91addb22863e09de2750628b072114a1.tar.lz
nixpkgs-fa199fad91addb22863e09de2750628b072114a1.tar.xz
nixpkgs-fa199fad91addb22863e09de2750628b072114a1.tar.zst
nixpkgs-fa199fad91addb22863e09de2750628b072114a1.zip
Merge pull request #191825 from figsoda/update-simple-http-server
simple-http-server: 0.6.2 -> 0.6.3, remove patches
Diffstat (limited to 'pkgs/development/coq-modules/corn/default.nix')
0 files changed, 0 insertions, 0 deletions