diff options
author | Frederik Rietdijk <fridh@fridh.nl> | 2019-05-30 08:49:48 +0200 |
---|---|---|
committer | Frederik Rietdijk <fridh@fridh.nl> | 2019-06-15 08:44:04 +0200 |
commit | 3eb05dabd07b14dbd0b9fc0a59d34023d88b6294 (patch) | |
tree | ccefcc82b08acf36d7803c972e85e3412e770a8a /pkgs/development/idris-modules/setoids.nix | |
parent | 67ffa0330a8df5a2bbda2fc4d69eae2f4f3f8702 (diff) |
python: cachetools: 3.1.0 -> 3.1.1
Diffstat (limited to 'pkgs/development/idris-modules/setoids.nix')
0 files changed, 0 insertions, 0 deletions