diff --git a/asn1scala/lib/stainless-library_3-0.9.8.7.jar b/asn1scala/lib/stainless-library_3-0.9.8.7.jar
new file mode 100644
index 000000000..c7e4526fd
Binary files /dev/null and b/asn1scala/lib/stainless-library_3-0.9.8.7.jar differ