summary refs log tree commit diff
path: root/pkgs/applications/science/logic/poly
Commit message (Expand)AuthorAge
* libpoly: 0.1.10 -> 0.1.11R. RyanTM2022-01-02
* libpoly: 0.1.9 -> 0.1.10R. RyanTM2021-07-28
* libpoly: fix darwin buildRobert Scott2021-05-21
* libpoly: 0.1.8 -> 0.1.9R. RyanTM2021-05-08
* libpoly: use python3Frederik Rietdijk2021-04-03
* treewide: with stdenv.lib; in meta -> with lib;Profpatsch2021-01-11
* libpoly: fix srcJonathan Ringer2020-04-09
* libpoly: 0.1.7 -> 0.1.8R. RyanTM2020-04-09
* treewide: name -> pname (easy cases) (#66585)volth2019-08-15
* libpoly: 0.1.5 -> 0.1.7 (noop), cleanup a bit to modern styleWill Dietz2018-07-12
* libpoly: 0.1.4 -> 0.1.5R. RyanTM2018-07-11
* libpoly: 0.1.3 -> 0.1.4Will Dietz2017-08-27
* Fix license reference for added libpoly library.Kevin Quick2017-07-07
* Add poly library for manipulating polynomials.Kevin Quick2017-07-06