Ryan Mulligan e188ca3a84 virtuoso7: 7.0.0 -> 7.2.4.2 ... Semi-automatic update generated by https://github.com/ryantm/nix-update tools. These checks were done: - built on NixOS - ran `/nix/store/xlf49a3742xgl9zhl6v5s31fc6gv2k9h-virtuoso-opensource-7.2.4.2/bin/virtuoso-t help` got 0 exit code - ran `/nix/store/xlf49a3742xgl9zhl6v5s31fc6gv2k9h-virtuoso-opensource-7.2.4.2/bin/isql --help` got 0 exit code - ran `/nix/store/xlf49a3742xgl9zhl6v5s31fc6gv2k9h-virtuoso-opensource-7.2.4.2/bin/isqlw --help` got 0 exit code - ran `/nix/store/xlf49a3742xgl9zhl6v5s31fc6gv2k9h-virtuoso-opensource-7.2.4.2/bin/inifile help` got 0 exit code - found 7.2.4.2 with grep in /nix/store/xlf49a3742xgl9zhl6v5s31fc6gv2k9h-virtuoso-opensource-7.2.4.2 - directory tree listing: https://gist.github.com/dcd661201732277a82f8e3f4e4263587		2018-03-21 22:47:11 +00:00
..
6.x.nix	treewide: purge maintainers.urkud	2017-03-27 19:52:29 +02:00
7.x.nix	virtuoso7: 7.0.0 -> 7.2.4.2	2018-03-21 22:47:11 +00:00