diff --git a/hashes/gmp-6.3.0.tar.xz.sha1 b/hashes/gmp-6.3.0.tar.xz.sha1
new file mode 100644
index 0000000..6a57acf
--- /dev/null
+++ b/hashes/gmp-6.3.0.tar.xz.sha1
@@ -0,0 +1 @@
+b4043dd2964ab1a858109da85c44de224384f352  gmp-6.3.0.tar.xz
diff --git a/hashes/isl-0.27.tar.xz.sha1 b/hashes/isl-0.27.tar.xz.sha1
new file mode 100644
index 0000000..8c02e7a
--- /dev/null
+++ b/hashes/isl-0.27.tar.xz.sha1
@@ -0,0 +1 @@
+8778bdabc1fbebe392564440c1ebbaaa45cdaf85  isl-0.27.tar.xz
diff --git a/hashes/mpc-1.3.1.tar.gz.sha1 b/hashes/mpc-1.3.1.tar.gz.sha1
new file mode 100644
index 0000000..a2856f8
--- /dev/null
+++ b/hashes/mpc-1.3.1.tar.gz.sha1
@@ -0,0 +1 @@
+bac1c1fa79f5602df1e29e4684e103ad55714e02  mpc-1.3.1.tar.gz
diff --git a/hashes/mpfr-4.2.2.tar.xz.sha1 b/hashes/mpfr-4.2.2.tar.xz.sha1
new file mode 100644
index 0000000..46cb6ba
--- /dev/null
+++ b/hashes/mpfr-4.2.2.tar.xz.sha1
@@ -0,0 +1 @@
+a63a264b273a652e27518443640e69567da498ce  mpfr-4.2.2.tar.xz