Fixes missing downloads

ad2d3f18 · Allan Blanchard · 253d1245 · ad2d3f18 · ad2d3f18 · ad2d3f18
Commit ad2d3f18 authored 4 years ago by Allan Blanchard
--- a/download/acsl-1.15.pdf
+++ b/download/acsl-1.15.pdf
--- a/download/acsl-implementation-19.1-Potassium.pdf
+++ b/download/acsl-implementation-19.1-Potassium.pdf
--- a/download/acsl-implementation-20.0-Calcium.pdf
+++ b/download/acsl-implementation-20.0-Calcium.pdf
--- a/download/acsl-implementation-21.0-Scandium.pdf
+++ b/download/acsl-implementation-21.0-Scandium.pdf
--- a/download/acsl-implementation-21.1-Scandium.pdf
+++ b/download/acsl-implementation-21.1-Scandium.pdf
--- a/download/aorai-example-20.0-Calcium.tgz
+++ b/download/aorai-example-20.0-Calcium.tgz
--- a/download/aorai-example-21.0-Scandium.tgz
+++ b/download/aorai-example-21.0-Scandium.tgz
--- a/download/aorai-example-21.1-Scandium.tgz
+++ b/download/aorai-example-21.1-Scandium.tgz
--- a/download/aorai-manual-20.0-Calcium.pdf
+++ b/download/aorai-manual-20.0-Calcium.pdf
--- a/download/aorai-manual-21.0-Scandium.pdf
+++ b/download/aorai-manual-21.0-Scandium.pdf
--- a/download/aorai-manual-21.1-Scandium.pdf
+++ b/download/aorai-manual-21.1-Scandium.pdf
--- a/download/e-acsl/e-acsl-implementation-20.0-Calcium.pdf
+++ b/download/e-acsl/e-acsl-implementation-20.0-Calcium.pdf
--- a/download/e-acsl/e-acsl-implementation-21.0-Scandium.pdf
+++ b/download/e-acsl/e-acsl-implementation-21.0-Scandium.pdf
--- a/download/e-acsl/e-acsl-implementation-21.1-Scandium.pdf
+++ b/download/e-acsl/e-acsl-implementation-21.1-Scandium.pdf
--- a/download/e-acsl/e-acsl-manual-20.0-Calcium.pdf
+++ b/download/e-acsl/e-acsl-manual-20.0-Calcium.pdf
--- a/download/e-acsl/e-acsl-manual-21.0-Scandium.pdf
+++ b/download/e-acsl/e-acsl-manual-21.0-Scandium.pdf
--- a/download/e-acsl/e-acsl-manual-21.1-Scandium.pdf
+++ b/download/e-acsl/e-acsl-manual-21.1-Scandium.pdf
--- a/download/eva-manual-20.0-Calcium.pdf
+++ b/download/eva-manual-20.0-Calcium.pdf
--- a/download/eva-manual-21.0-Scandium.pdf
+++ b/download/eva-manual-21.0-Scandium.pdf
--- a/download/eva-manual-21.1-Scandium.pdf
+++ b/download/eva-manual-21.1-Scandium.pdf