Skip to content

Add opam file for Security Foundations (secf)

57af4da
Select commit
Loading
Failed to load commit list.
Open

Add secf from https://softwarefoundations.cis.upenn.edu/secf-current/secf.tgz #17

Add opam file for Security Foundations (secf)
57af4da
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs