summarylogtreecommitdiffstats
path: root/.SRCINFO
diff options
context:
space:
mode:
Diffstat (limited to '.SRCINFO')
-rw-r--r--.SRCINFO1
1 files changed, 1 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 2998b40231f8..0d6a12d87321 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -6,6 +6,7 @@ pkgbase = ocaml-bin_prot
url = https://github.com/janestreet/bin_prot
arch = x86_64
arch = i686
+ arch = pentium4
arch = armv7h
arch = aarch64
license = MIT