diff options
| author | Vinicius Monego <monego@posteo.net> | 2024-06-01 12:48:32 -0300 |
|---|---|---|
| committer | Vinicius Monego <monego@posteo.net> | 2024-07-05 23:04:15 -0300 |
| commit | d73c0b65b3e4243ed828dde242cb8dc47e077fbe (patch) | |
| tree | 05e019c17f9f9f6703cd2939ad1b2c00194f275f /gnu/packages/lean.scm | |
| parent | 704e8b387df292e09591d2ab138e494e05913d48 (diff) | |
| download | guix-d73c0b65b3e4243ed828dde242cb8dc47e077fbe.tar.gz guix-d73c0b65b3e4243ed828dde242cb8dc47e077fbe.zip | |
gnu: symengine: Update to 0.12.0.
* gnu/packages/algebra.scm (symengine): Update to 0.12.0.
Change-Id: I9cd1ac9ef49c4a287caf242f581fea50b1535a97
Diffstat (limited to 'gnu/packages/lean.scm')
0 files changed, 0 insertions, 0 deletions