nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-01-22 04:45:39 +00:00
Code Issues Packages Projects Releases Wiki Activity
40e648b7ab
nixpkgs/pkgs/applications/science/logic/yices
History
R. RyanTM 40e648b7ab yices: 2.5.4 -> 2.6.0 
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools. This update was made based on information from https://repology.org/metapackage/yices/versions.
2018-07-11 08:45:45 -05:00
..
default.nix yices: 2.5.4 -> 2.6.0 2018-07-11 08:45:45 -05:00