Giuseppe Lavagetto has submitted this change and it was merged.
Change subject: hhvm: add Provides: php5
......................................................................
hhvm: add Provides: php5
Change-Id: I5c43a427ac2849d7ea665c0ac7eca4373925656f
Signed-off-by: Giuseppe Lavagetto <glavage...@wikimedia.org>
---
M debian/changelog
M debian/control
2 files changed, 7 insertions(+), 1 deletion(-)
Approvals:
Giuseppe Lavagetto: Verified; Looks good to me, approved
diff --git a/debian/changelog b/debian/changelog
index ad7ca35..0b241a0 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,9 @@
+hhvm (3.3-dev+20140728+wmf4) trusty-wikimedia; urgency=low
+
+ * Add php5 to the 'provides' list for hhvm
+
+ -- Giuseppe Lavagetto <glavage...@wikimedia.org> Thu, 14 Aug 2014 12:29:40
+0200
+
hhvm (3.3-dev+20140728+wmf3) trusty-wikimedia; urgency=low
* lintian fixes
diff --git a/debian/control b/debian/control
index 11ee451..47ea383 100644
--- a/debian/control
+++ b/debian/control
@@ -64,7 +64,7 @@
Package: hhvm
Architecture: amd64
Depends: ${shlibs:Depends}, ${misc:Depends}
-Provides: ${hhvm:ApiVersion}
+Provides: ${hhvm:ApiVersion}, php5
Description: HipHop Virtual Machine, a JIT replacement for PHP
HHVM is a new open-source virtual machine designed for executing programs
written in PHP. HHVM uses a just-in-time (JIT) compilation approach to
--
To view, visit https://gerrit.wikimedia.org/r/154030
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I5c43a427ac2849d7ea665c0ac7eca4373925656f
Gerrit-PatchSet: 2
Gerrit-Project: operations/debs/hhvm
Gerrit-Branch: master
Gerrit-Owner: Giuseppe Lavagetto <glavage...@wikimedia.org>
Gerrit-Reviewer: Giuseppe Lavagetto <glavage...@wikimedia.org>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
