mod6@trb-test1 ~/starter_v $ command -v vdiff /usr/bin/vdiff mod6@trb-test1 ~/starter_v $ sha512sum ./vdiff /usr/bin/vdiff 64c8356d09c071df1923781443efc607741f9f43af787991fa7447a4034c24019f65e7c5698cdab17799e41695a9bb097a66bc12a5b81f7fab1160afc09d37d1 ./vdiff 64c8356d09c071df1923781443efc607741f9f43af787991fa7447a4034c24019f65e7c5698cdab17799e41695a9bb097a66bc12a5b81f7fab1160afc09d37d1 /usr/bin/vdiff mod6@trb-test1 ~/starter_v $ gnat --version GNAT GPL 2016 (20160515-49) Copyright (C) 1996-2016, Free Software Foundation, Inc. This is free software; see the source for copying conditions. There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. mod6@trb-test1 ~/starter_v $ gprbuild --version GPRBUILD GPL 2016 (20160515) (x86_64-pc-linux-gnu) Copyright (C) 2004-2016, AdaCore This is free software; see the source for copying conditions. There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. mod6@trb-test1 ~/starter_v $