nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-01-08 14:03:29 +00:00
Code Issues Packages Projects Releases Wiki Activity
545,849 Commits 173 Branches 125 Tags 6.7 GiB
b23f12e076
Commit Graph

2 Commits

Author SHA1 Message Date
Robert Scott
2c9bea0eaa sharpsat-td: patch with updated version of mpreal/mpfrc++ 
this version is needed for mpfr 4.2.0+ support

lesson - don't merge old PRs without re-testing them yourself
 2023-05-27 20:49:34 +01:00
Robert Scott
d66d778a22 sharpsat-td: init at unstable-2021-09-05 2022-06-18 16:55:53 +01:00