Skip to content
Permalink
Browse files

everparse: update to 20191209-4687b76

  • Loading branch information
landonf committed Jan 14, 2020
1 parent 8a15028 commit b196db28828a9308652962638e8cc6da54bd99bb
Showing with 5 additions and 5 deletions.
  1. +5 −5 devel/everparse/Portfile
@@ -4,8 +4,8 @@ PortSystem 1.0
PortGroup github 1.0

name everparse
github.setup project-everest everparse 7baa13fd44bb0fc9ec63ce0e9e8509deb9f8aea0
version 20191129-[string range ${github.version} 0 6]
github.setup project-everest everparse 4687b762b3c6615a3027b7cf2f9cbcf94bf4427f
version 20191209-[string range ${github.version} 0 6]

categories devel
platforms darwin
@@ -16,9 +16,9 @@ long_description EverParse provides LowParse, verified-secure F*/Low* parser
QuackyDucky, an untrusted compiler for generating verified secure parsers from a \
message format specification.

checksums rmd160 9abc9b3b2f78051b94150acd09271d583766d6fa \
sha256 dc5e3bfb51814468f6c98a6535ef092f071e75dc940306fb78f6e34c646406df \
size 633052
checksums rmd160 fd622b137ad8baa8f59ccea412a06f4a77fd66b9 \
sha256 71f2306b5037c169d4adcbade75ba16737411d1dd022a4272242ad8eb3060a64 \
size 633996

depends_lib port:fstar-devel \
port:kremlin-devel

0 comments on commit b196db2

Please sign in to comment.
You can’t perform that action at this time.