summary refs log tree commit diff
path: root/pkgs/development/coq-modules/dpdgraph/default.nix
diff options
context:
space:
mode:
authorMatthew Justin Bauer <mjbauer95@gmail.com>2018-05-09 01:52:35 +0000
committerGitHub <noreply@github.com>2018-05-09 01:52:35 +0000
commitfba7c3adf879d8dffa302c67e133ad67a148301c (patch)
tree7fa87376ca5e3715f742c4594c3a330ed219ff4b /pkgs/development/coq-modules/dpdgraph/default.nix
parent2be9f022012a499c941e3a044a70f90388cd946d (diff)
parenta4c86b421f13a8dec9c2a639ebb78d50f4f0461c (diff)
downloadnixlib-fba7c3adf879d8dffa302c67e133ad67a148301c.tar
nixlib-fba7c3adf879d8dffa302c67e133ad67a148301c.tar.gz
nixlib-fba7c3adf879d8dffa302c67e133ad67a148301c.tar.bz2
nixlib-fba7c3adf879d8dffa302c67e133ad67a148301c.tar.lz
nixlib-fba7c3adf879d8dffa302c67e133ad67a148301c.tar.xz
nixlib-fba7c3adf879d8dffa302c67e133ad67a148301c.tar.zst
nixlib-fba7c3adf879d8dffa302c67e133ad67a148301c.zip
Merge pull request #40195 from emmanuelrosa/webkitgtk-xdamage
webkitgtk: add missing libXdamage dependency
Diffstat (limited to 'pkgs/development/coq-modules/dpdgraph/default.nix')
0 files changed, 0 insertions, 0 deletions