mirror of
https://github.com/GaloisInc/cryptol.git
synced 2024-09-11 14:06:13 +03:00
This commit moves the `cryptol-remote-api` package from the `argo` repository to the `cryptol` repository.
117 B
117 B
Revision history for cryptol-server
0.1.0.0 -- YYYY-mm-dd
- First version. Released on an unsuspecting world.