Cockatrice/Cockatrice — pull request #491 by mbr (2014-12-19 18:25:49+00:00)
Title: Debian packaging

This pull requests adds debian packaging.