From: Mark Thom <markjordanthom@gmail.com>
Date: Tue, 25 Jul 2023 17:35:10 +0000 (-0600)
Subject: Merge pull request #1907 from coasys/dashu
X-Git-Tag: v0.9.2~23
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=49b4e4cbcb24fecdd251a5af7d098741335bb3b0;p=scryer-prolog.git

Merge pull request #1907 from coasys/dashu

Replace rug with dashu
---

49b4e4cbcb24fecdd251a5af7d098741335bb3b0