diff options
| author |  Benjamin Barenblat <bbaren@mit.edu> | 2015-06-15 14:34:17 -0400 |
|---|---|---|
| committer | Benjamin Barenblat <bbaren@mit.edu> | 2015-06-15 14:34:17 -0400 |
| commit | b17e585eb7c3b131dfcd38a537be567efaaca73b (patch) | |
| tree | 55d863bdd339ab0174265d4e531a42c74f41668e /src/hashFFI.urs | |
| parent | 5a54ad4ac01a69c554a05eddf077eea08cd766b1 (diff) | |
Add SHA-1 support
Diffstat (limited to 'src/hashFFI.urs')
| -rw-r--r-- | src/hashFFI.urs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/hashFFI.urs b/src/hashFFI.urs index 55acadd..f9c6ba5 100644 --- a/src/hashFFI.urs +++ b/src/hashFFI.urs @@ -12,3 +12,5 @@ CONDITIONS OF ANY KIND, either express or implied. See the License for the specific language governing permissions and limitations under the License. *) val md5 : blob -> string + +val sha1 : blob -> string |