Thanks for reporting.
Looking at the publishing history [1], it looks like https://launchpad.net/ubuntu/+source/premake4 has been available in Ubuntu since 13.10. :)
[1] https://launchpad.net/ubuntu/+source/premake4/+publishinghistory
Thanks for reporting.
Looking at the publishing history [1], it looks like https:/ /launchpad. net/ubuntu/ +source/ premake4 has been available in Ubuntu since 13.10. :)
[1] https:/ /launchpad. net/ubuntu/ +source/ premake4/ +publishinghist ory