summary refs log tree commit diff
path: root/pkgs/applications/science/logic/hol
diff options
context:
space:
mode:
authorPavol Rusnak <pavol@rusnak.io>2021-07-01 12:16:53 +0200
committerGitHub <noreply@github.com>2021-07-01 12:16:53 +0200
commitdd9790a83f3e88d4fc1ca809ec53a48d0d10662e (patch)
tree4e17e195ea52df20f80860d32a72f987da14ca92 /pkgs/applications/science/logic/hol
parentf83eb93af7fee27f6155d4b83fa00fa881c56293 (diff)
parent4bcafb8ff11cf21953cb7ffe113c5b0832ad2b22 (diff)
downloadnixpkgs-dd9790a83f3e88d4fc1ca809ec53a48d0d10662e.tar
nixpkgs-dd9790a83f3e88d4fc1ca809ec53a48d0d10662e.tar.gz
nixpkgs-dd9790a83f3e88d4fc1ca809ec53a48d0d10662e.tar.bz2
nixpkgs-dd9790a83f3e88d4fc1ca809ec53a48d0d10662e.tar.lz
nixpkgs-dd9790a83f3e88d4fc1ca809ec53a48d0d10662e.tar.xz
nixpkgs-dd9790a83f3e88d4fc1ca809ec53a48d0d10662e.tar.zst
nixpkgs-dd9790a83f3e88d4fc1ca809ec53a48d0d10662e.zip
Merge pull request #128839 from felixsinger/pkgs/flashrom/add-maintainer
flashrom: Add Felix Singer as maintainer
Diffstat (limited to 'pkgs/applications/science/logic/hol')
0 files changed, 0 insertions, 0 deletions