Skip to content

Commit 04395d0

Browse files
cxzhongcxzhong
authored
update fricas to version 1.3.12
1 parent 94fe540 commit 04395d0

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

‎build/pkgs/fricas/checksums.ini

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
11
tarball=fricas-VERSION-full.tar.bz2
2-
sha1=c5104c92808ff01a02ecdd3f412d44da3b2c21fb
3-
sha256=32b87461ef079659e97247ad0a771ec8cf0d5a0f934788d67d37fb7acf63f9c4
2+
sha1=6f700b0d544f3eac26dd38304da46f66a6ba3d62
3+
sha256=33201f9f56c20b1266d38f5290efe7486a38422ea90f707f0345f6a589e31c8d
44
upstream_url=https://github.com/fricas/fricas/releases/download/VERSION/fricas-VERSION-full.tar.bz2

0 commit comments

Comments
 (0)