summaryrefslogtreecommitdiff
path: root/manualPorts
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2020-01-12 21:14:41 +0100
committerErich Eckner <git@eckner.net>2020-01-12 21:14:41 +0100
commit57e9caa4975543be8becfedb12572d99734b1edc (patch)
tree4e209115ae6a4ce475758b65573f642a79c1e190 /manualPorts
parent4521876b2a08054933d0feab79288599f5816db6 (diff)
downloadcrux-ports-57e9caa4975543be8becfedb12572d99734b1edc.tar.xz
new ports uploaded
Diffstat (limited to 'manualPorts')
-rw-r--r--manualPorts/REPO5
1 files changed, 5 insertions, 0 deletions
diff --git a/manualPorts/REPO b/manualPorts/REPO
index c49ac09..934bdb7 100644
--- a/manualPorts/REPO
+++ b/manualPorts/REPO
@@ -40,6 +40,7 @@ d:mounted
d:sox
d:runjobsparallel
d:hdf5
+d:dvdbackup
d:szip
d:hyperrogue
d:xmedcon
@@ -284,6 +285,10 @@ f:8bf7101b96164b989e03248adf7663b5:hdf5/.md5sum
f:14bcc836f9b8c604c784ed0bfab2cd7e:hdf5/Pkgfile
f:59defef2b3f421c3753edcf7bc46a79f:hdf5/.signature
f:c2191ce39f161d809efa6d469f907d57:hdf5/.footprint
+f:ce7e21eca2195065ba00748067b8539a:dvdbackup/.md5sum
+f:4591ff38b64d6fbfbf8a5f938a8c77b9:dvdbackup/Pkgfile
+f:17c466340c4577db1cf7d64ecd8741dc:dvdbackup/.signature
+f:2df6b66d98429f684c7abcfecb198200:dvdbackup/.footprint
f:63182d08fcc8944dc80bd2edf72dc1ee:szip/.md5sum
f:91c76d46b03762ea1107f970cb7ddce6:szip/Pkgfile
f:d19b8030c80c7043c90e4735f34136be:szip/.signature