summaryrefslogtreecommitdiff
path: root/misc/dejagnu/distinfo
diff options
context:
space:
mode:
Diffstat (limited to 'misc/dejagnu/distinfo')
-rw-r--r--misc/dejagnu/distinfo2
1 files changed, 1 insertions, 1 deletions
diff --git a/misc/dejagnu/distinfo b/misc/dejagnu/distinfo
index c92407ffe01f..95da498d41c0 100644
--- a/misc/dejagnu/distinfo
+++ b/misc/dejagnu/distinfo
@@ -1 +1 @@
-MD5 (dejagnu-1.4.1.tar.gz) = 1045a98e87f67eaa415b518ace043f6e
+MD5 (dejagnu-1.4.2.tar.gz) = f8d9f36ea74fd56ad4a68d5cc2a14bba