Skip to content
Test opam package

Joye double-add ladder for short Weierstrass curves in co-Z arithmeti… #831

Sign in to view logs

Joye double-add ladder for short Weierstrass curves in co-Z arithmeti…

Joye double-add ladder for short Weierstrass curves in co-Z arithmeti… #831

Triggered via push April 2, 2024 14:40
@andres-erbsenandres-erbsen
pushed b0a1bf1
master
Status Success
Total duration 1h 37m 11s
Artifacts –

coq-opam-package.yml

on: push
Matrix: install
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
install (dev, 4.11.1, macOS, macos-latest)
darcs has been deprecated because it depends on GHC 8.10 to build!
install (8.19.0, 4.11.1, macOS, macos-latest)
darcs has been deprecated because it depends on GHC 8.10 to build!