about summary refs log tree commit diff
path: root/pkgs/applications/science/logic/coq/default.nix
diff options
context:
space:
mode:
authorJan Tojnar <jtojnar@gmail.com>2021-03-19 00:42:06 +0100
committerGitHub <noreply@github.com>2021-03-19 00:42:06 +0100
commit07ac0c6d995cce27add0ce93f6efa4d005fc55bb (patch)
tree1f1951698e90c9169bed3fc23c4d4b272af7ad7a /pkgs/applications/science/logic/coq/default.nix
parentde78745bddf32e69db0bdc2fb30fd282eaaeff3c (diff)
parent7cc6abc79089736ba6b982708a20f2658de02be7 (diff)
Merge pull request #115436 from maxeaubrey/glib_2.66.7
glib: 2.66.4 -> 2.66.8
Diffstat (limited to 'pkgs/applications/science/logic/coq/default.nix')
0 files changed, 0 insertions, 0 deletions