* debian/upstream-signing-key.asc: Add keys from upstream.
* Rename: debian/upstream-signing-key.asc -> debian/upstream/signing-key.asc
* debian/watch: Make use of the signing key from upstream.
- * Imported Upstream version 2014.06.19
+ * Imported Upstream version 2014.06.19. Closes: #752139.
-- Rogério Brito <rbrito@ime.usp.br> Sun, 22 Jun 2014 11:48:43 -0300