aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/agda.scm
diff options
context:
space:
mode:
authorRicardo Wurmus <rekado@elephly.net>2018-11-29 15:50:38 +0100
committerRicardo Wurmus <rekado@elephly.net>2018-11-29 22:43:47 +0100
commite7c7b10db4fdf174055ecbc4a462481daa616295 (patch)
tree0810346b53ca126a0ec32c1648c9936efdb3a778 /gnu/packages/agda.scm
parente784449ef70a28105cf56ec36a7f48d1af31922d (diff)
downloadpatches-e7c7b10db4fdf174055ecbc4a462481daa616295.tar
patches-e7c7b10db4fdf174055ecbc4a462481daa616295.tar.gz
gnu: gst-transcoder: Fetch sources from git.
* gnu/packages/video.scm (gst-transcoder)[source]: Fetch from git.
Diffstat (limited to 'gnu/packages/agda.scm')
0 files changed, 0 insertions, 0 deletions