Announce: FriCAS 1.3.12 has been released

13 views
Skip to first unread message

Waldek Hebisch

unread,
Jun 3, 2025, 8:15:23 PMJun 3
to fricas...@googlegroups.com
Release is now on Sourceforge and corresponds to brench r1.3.12
in github.

--
Waldek Hebisch

Qian Yun

unread,
Jun 3, 2025, 8:38:52 PMJun 3
to fricas...@googlegroups.com
On 6/4/25 2:15 AM, Waldek Hebisch wrote:
> Release is now on Sourceforge and corresponds to brench r1.3.12
> in github.
>

Hi, did you forget to push the tag to github?

After you push the tag, I can create the github release page,
upload he CI-built binary, and update homebrew as well.

- Qian

Waldek Hebisch

unread,
Jun 3, 2025, 9:15:58 PMJun 3
to fricas...@googlegroups.com
Yes, now tag should be there.

--
Waldek Hebisch

Qian Yun

unread,
Jun 4, 2025, 5:29:24 AMJun 4
to fricas...@googlegroups.com
Windows binary and reference book uploaded to
https://github.com/fricas/fricas/releases/tag/1.3.12

For macOS users, fricas is updated in Homebrew as well.

- Qian

Reply all
Reply to author
Forward
0 new messages