https://github.com/Stevendeo/Pilat
Tip revision: 488f25ce7c50f40f440acc4a31f74860a5cbc140 authored by Steven de Oliveira on 03 February 2021, 15:36:40 UTC
Fixing opam file
Fixing opam file
Tip revision: 488f25c
File | Mode | Size |
---|---|---|
src | ||
tests | ||
.gitignore | -rw-r--r-- | 63 bytes |
INSTALL | -rw-r--r-- | 1.3 KB |
LICENCE | -rw-r--r-- | 23.8 KB |
Makefile.in | -rw-r--r-- | 707 bytes |
README | -rw-r--r-- | 2.5 KB |
configure.in | -rw-r--r-- | 1009 bytes |
install.sh | -rw-r--r-- | 13 bytes |
make.sh | -rw-r--r-- | 61 bytes |
opam | -rw-r--r-- | 574 bytes |