boilerplate for enabling packaging using coq_makefile#34

aleksnanevski merged 1 commit intoimdea-software:masterimdea-software/htt:masterfrom

proofengineering:makefile-packageproofengineering/htt:makefile-packageCopy head branch name to clipboard