summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorFlorian Franzmann2021-04-11 19:26:41 +0200
committerFlorian Franzmann2021-04-11 19:38:03 +0200
commitf7fa6217e3eb6a399c7657536b3b75968dd925e3 (patch)
tree968335dde2599c178255dde9ac272b04a86a2af3
parentdba98c41a4c06e186f952852f42a0e9cbf6bb4fc (diff)
devel/camlp5: version 8.00.01
-rwxr-xr-xdevel/camlp5/DETAILS4
-rw-r--r--devel/camlp5/HISTORY3
2 files changed, 5 insertions, 2 deletions
diff --git a/devel/camlp5/DETAILS b/devel/camlp5/DETAILS
index 7e2841d8e1..f61523bc30 100755
--- a/devel/camlp5/DETAILS
+++ b/devel/camlp5/DETAILS
@@ -1,8 +1,8 @@
SPELL=camlp5
- VERSION=8.00
+ VERSION=8.00.01
SOURCE="${SPELL}-${VERSION}.tar.gz"
SOURCE_URL[0]=https://github.com/camlp5/camlp5/archive/rel${VERSION}.tar.gz
- SOURCE_HASH=sha512:6a0d19ced4d94cd3afebfbc373d344229c5faf088e8910dea32ed4dfa841dd9844c72849f8a6281e2bce55295665eae90391cf29d062a44b083761a9e04bce93
+ SOURCE_HASH=sha512:f40e57845ac4a14cf260ddd9df616d12df09f67efaf6735e915598aee981721e8203bf9203fb83d08e34e43021c08003de64dbf3bdcd4d12fd079542fb7649aa
SOURCE_DIRECTORY="${BUILD_DIRECTORY}/${SPELL}-rel${VERSION}"
WEB_SITE="https://camlp5.github.io/"
LICENSE[0]=BSD
diff --git a/devel/camlp5/HISTORY b/devel/camlp5/HISTORY
index 48e0352c09..993f036fb6 100644
--- a/devel/camlp5/HISTORY
+++ b/devel/camlp5/HISTORY
@@ -1,3 +1,6 @@
+2021-04-11 Florian Franzmann <siflfran@hawo.stw.uni-erlangen.de>
+ * DETAILS: version 8.00.01
+
2021-01-05 Ismael Luceno <ismael@sourcemage.org>
* TRIGGERS: Added cast_self trigger for ocaml