swh:1:snp:257667caa35678dfc12d096d83735b7db8ec0c50
Revision d4c76add9ba1b33b4fe14f2a621d52c84be532b0 authored by Gabriel Ebner on 03 April 2017, 06:59:44 UTC, committed by Gabriel Ebner on 03 April 2017, 06:59:44 UTC
1 parent 0c92e4a
Tip revision: 2f9ab4b9865f0e3e4b8b04b71d2f0fbf3d1b8623 authored by Jannik Vierling on 21 July 2022, 07:37:48 UTC
release 2.16.0
release 2.16.0
Tip revision: 2f9ab4b
| File | Mode | Size |
|---|---|---|
| ceres_unary_eq | ||
| cli | ||
| core | ||
| doc | ||
| examples | ||
| project | ||
| protocols | ||
| testing | ||
| tests | ||
| .codecov.yml | -rw-r--r-- | 13 bytes |
| .gitignore | -rw-r--r-- | 1002 bytes |
| .sbtopts | -rw-r--r-- | 10 bytes |
| .travis.yml | -rw-r--r-- | 216 bytes |
| COPYING | -rw-r--r-- | 34.3 KB |
| README.md | -rw-r--r-- | 2.7 KB |
| RELEASE-NOTES.md | -rw-r--r-- | 2.9 KB |
| build.sbt | -rw-r--r-- | 9.8 KB |
| escargot.sh | -rwxr-xr-x | 125 bytes |
| gapt.sh | -rwxr-xr-x | 428 bytes |
| include.sh | -rw-r--r-- | 715 bytes |
| viper.sh | -rwxr-xr-x | 119 bytes |
Computing file changes ...
