about summary refs log tree commit diff
path: root/pkgs/applications/science/logic/poly/default.nix
AgeCommit message (Expand)AuthorFilesLines
2023-08-07libpoly: 0.1.11 -> 0.1.13R. Ryantm1-2/+2
2022-01-02libpoly: 0.1.10 -> 0.1.11R. RyanTM1-9/+2
2021-07-28libpoly: 0.1.9 -> 0.1.10R. RyanTM1-2/+2
2021-05-21libpoly: fix darwin buildRobert Scott1-0/+7
2021-05-08libpoly: 0.1.8 -> 0.1.9R. RyanTM1-2/+2
2021-04-03libpoly: use python3Frederik Rietdijk1-2/+4
2021-01-11treewide: with stdenv.lib; in meta -> with lib;Profpatsch1-2/+2
2020-04-09libpoly: fix srcJonathan Ringer1-2/+3
2020-04-09libpoly: 0.1.7 -> 0.1.8R. RyanTM1-3/+3
2019-08-15treewide: name -> pname (easy cases) (#66585)volth1-1/+0
2018-07-12libpoly: 0.1.5 -> 0.1.7 (noop), cleanup a bit to modern styleWill Dietz1-10/+13
2018-07-11libpoly: 0.1.4 -> 0.1.5R. RyanTM1-2/+2
2017-08-27libpoly: 0.1.3 -> 0.1.4Will Dietz1-2/+2
2017-07-07Fix license reference for added libpoly library.Kevin Quick1-1/+1
2017-07-06Add poly library for manipulating polynomials.Kevin Quick1-0/+22