diff --git a/build/pkgs/optas/SPKG.rst b/build/pkgs/optas/SPKG.rst
new file mode 100644
index 00000000000..6c8fe581efe
--- /dev/null
+++ b/build/pkgs/optas/SPKG.rst
@@ -0,0 +1,23 @@
+optas: Optimal Approximate Sampling from Discrete Probability Distributions.
+============================================================================
+
+Description
+-----------
+
+This package provides a prototype implementation of the optimal sampling
+algorithms from:
+
+Feras A. Saad, Cameron E. Freer, Martin C. Rinard, and Vikash K. Mansinghka.
+Optimal Approximate Sampling From Discrete Probability Distributions. Proc. ACM
+Program. Lang. 4, POPL, Article 36 (January 2020), 33 pages.
+
+License
+-------
+
+Apache License, Version 2.0
+
+Upstream Contact
+----------------
+
+https://pypi.org/project/optas/
+https://github.com/probcomp/optimal-approximate-sampling
diff --git a/build/pkgs/optas/checksums.ini b/build/pkgs/optas/checksums.ini
new file mode 100644
index 00000000000..0529ff4b56b
--- /dev/null
+++ b/build/pkgs/optas/checksums.ini
@@ -0,0 +1,5 @@
+tarball=optas-VERSION.tar.gz
+sha1=fc110a1df8fec24c6fda806955841860ecde8875
+md5=d3ee94398986e870208f212012e48b61
+cksum=775882310
+upstream_url=https://pypi.io/packages/source/o/optas/optas-VERSION.tar.gz
diff --git a/build/pkgs/optas/dependencies b/build/pkgs/optas/dependencies
new file mode 100644
index 00000000000..7d1ace1c5da
--- /dev/null
+++ b/build/pkgs/optas/dependencies
@@ -0,0 +1,4 @@
+$(PYTHON) | $(PYTHON_TOOLCHAIN) gcc
+
+----------
+All lines of this file are ignored except the first.
diff --git a/build/pkgs/optas/install-requires.txt b/build/pkgs/optas/install-requires.txt
new file mode 100644
index 00000000000..51fa107fc37
--- /dev/null
+++ b/build/pkgs/optas/install-requires.txt
@@ -0,0 +1 @@
+optas
diff --git a/build/pkgs/optas/package-version.txt b/build/pkgs/optas/package-version.txt
new file mode 100644
index 00000000000..21e8796a09d
--- /dev/null
+++ b/build/pkgs/optas/package-version.txt
@@ -0,0 +1 @@
+1.0.3
diff --git a/build/pkgs/optas/spkg-install.in b/build/pkgs/optas/spkg-install.in
new file mode 100644
index 00000000000..deba1bb42bb
--- /dev/null
+++ b/build/pkgs/optas/spkg-install.in
@@ -0,0 +1 @@
+cd src && sdh_pip_install .
diff --git a/build/pkgs/optas/type b/build/pkgs/optas/type
new file mode 100644
index 00000000000..134d9bc32d5
--- /dev/null
+++ b/build/pkgs/optas/type
@@ -0,0 +1 @@
+optional