gnu: php: Don't use NAME in source URI.
authorTobias Geerinckx-Rice <me@tobias.gr>
Thu, 1 Aug 2019 19:21:55 +0000 (21:21 +0200)
committerTobias Geerinckx-Rice <me@tobias.gr>
Thu, 1 Aug 2019 23:49:24 +0000 (01:49 +0200)
commit9b76aa1031e078f273633cc4f59d4641b9f5332f
tree7fe32334cdb4303291265ae6f9a05c6045eb0f2b
parentd9e3f9d9d7c087ee10ea5e8856f435ead44ca1d1
gnu: php: Don't use NAME in source URI.

* gnu/packages/php.scm (php)[source]: Hard-code NAME.
gnu/packages/php.scm