From b17e585eb7c3b131dfcd38a537be567efaaca73b Mon Sep 17 00:00:00 2001 From: Benjamin Barenblat Date: Mon, 15 Jun 2015 14:34:17 -0400 Subject: Add SHA-1 support --- src/hashFFI.urs | 2 ++ 1 file changed, 2 insertions(+) (limited to 'src/hashFFI.urs') 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 -- cgit v1.2.3