HACL*, a formally verified cryptographic library written in F* - Project Everest - project-everest

ATTEND Git Git
Size 368.4M (362.5M (+5.9M))
Commits -1 (16155 (-16156))
Update Stats 0s ... 2m35s (5s * 10)
Last Change 2020-06-08 15:04:59
Last Check 2020-08-06 01:31:02
Created 2020-06-08 15:04:59
Remotes
1. https://github.com/project-everest/hacl-star

Messages as of last check on 2020-08-06 01:31:02

Operation

m-vcs-git-https%3a%2f%2fgithub.com%2fproject-everest%2fhacl-star
16662
Fetching m-vcs-git-https%3a%2f%2fgithub.com%2fproject-everest%2fhacl-star

From https://github.com/project-everest/hacl-star
   73a522453..d4fc3d26a  BuildHints-master -> m-vcs-git-https%3a%2f%2fgithub.com%2fproject-everest%2fhacl-star/BuildHints-master
   5fb3fe823..c75241167  _son_blake   -> m-vcs-git-https%3a%2f%2fgithub.com%2fproject-everest%2fhacl-star/_son_blake
   13f9eb719..838a4061e  anilam_ecdsa_tmp -> m-vcs-git-https%3a%2f%2fgithub.com%2fproject-everest%2fhacl-star/anilam_ecdsa_tmp
   522e0de21..7829770a4  buffer_null  -> m-vcs-git-https%3a%2f%2fgithub.com%2fproject-everest%2fhacl-star/buffer_null
   721e26619..fa8df877d  master       -> m-vcs-git-https%3a%2f%2fgithub.com%2fproject-everest%2fhacl-star/master
   58bb245f9..7829770a4  polubelova_null -> m-vcs-git-https%3a%2f%2fgithub.com%2fproject-everest%2fhacl-star/polubelova_null
   e6b1a2642..208f3eb2f  son_blake    -> m-vcs-git-https%3a%2f%2fgithub.com%2fproject-everest%2fhacl-star/son_blake
 ! [rejected]            ocaml-v0.1.1 -> ocaml-v0.1.1  (would clobber existing tag)

Notes & Errors

error: Could not fetch m-vcs-git-https%3a%2f%2fgithub.com%2fproject-everest%2fhacl-star
Caught:

child process exited abnormally
    while executing
"exec          2> $e.now > $o.now {*}$cmd"
    (procedure "CAP" line 12)
    invoked from within
"CAP $args $verbose $verbose"
    (procedure "::m::exec::go" line 19)
    invoked from within
"m exec go git --git-dir [GitOf $path] {*}$args"
    (procedure "Git" line 5)
    invoked from within
"Git fetch --all --tags"
    (procedure "::m::vcs::git::update" line 27)
    invoked from within
"$vcode update $path $urls 0"
    ("uplevel" body line 2)
    invoked from within
"uplevel 1 $script"

Contact information

Mail to Andreas Kupries