circleci-php-7.0.15_5_amd64.deb

STEP 1: Have you installed this repository?

If not, run this installation script command:

curl -s https://packagecloud.io/install/repositories/circleci/trusty/script.deb.sh | sudo bash
copy
curl -s https://packagecloud.io/install/repositories/circleci/trusty/script.deb.sh | sudo bash

STEP 2: Install the package
sudo apt-get install circleci-php-7.0.15=5

PHP 7.0.15 built by CircleCI

Checksums

MD5 f2907bf5b43ec1e047f06df2b1c3ffba
SHA1 de2523ed23599bed9de4a36d1cc768d97b930a0a
SHA256 749a79665afdedae6a90a2117d32bb1cc8fa8643a6b1f455f9dcc8b6592622e0
SHA512 ff2e71e853a32d2f9e2b9225cd1c308836e1f2ed6cfbb6a9ca9b573d6b0a6b7856b1431a5f7244a096d62e25622bae85253f223f11dd56063fc55a093ea876ab

Depends

  • libpng12-dev, re2c, m4, libxslt1-dev, libjpeg-dev, libxml2-dev, libtidy-dev, libmcrypt-dev, libreadline-dev, libmagic-dev, libssl-dev, libcurl4-openssl-dev, libfreetype6-dev, libapache2-mod-php5, libicu-dev, libbz2-dev, libgmp3-dev, apache2-dev, autoconf

Files

  • /opt/circleci/php/7.0.15/include/php/Zend/zend_builtin_functions.h
  • /opt/circleci/php/7.0.15/include/php/Zend/zend_build.h
  • /opt/circleci/php/7.0.15/include/php/Zend/zend_bitset.h
  • /opt/circleci/php/7.0.15/include/php/Zend/zend_ast.h
  • /opt/circleci/php/7.0.15/include/php/Zend/zend_arena.h
  • /opt/circleci/php/7.0.15/include/php/Zend/zend_API.h
  • /opt/circleci/php/7.0.15/include/php/Zend/zend_alloc.h
  • /opt/circleci/php/7.0.15/include/php/Zend/zend_alloc_sizes.h
  • /opt/circleci/php/7.0.15/include/php/TSRM/TSRM.h
  • /opt/circleci/php/7.0.15/include/php/TSRM/tsrm_win32.h
  • /opt/circleci/php/7.0.15/include/php/TSRM/tsrm_strtok_r.h
  • /opt/circleci/php/7.0.15/include/php/TSRM/tsrm_nw.h
  • /opt/circleci/php/7.0.15/include/php/TSRM/tsrm_config.w32.h
  • /opt/circleci/php/7.0.15/include/php/TSRM/tsrm_config.h
  • /opt/circleci/php/7.0.15/include/php/TSRM/tsrm_config_common.h
  • /opt/circleci/php/7.0.15/include/php/TSRM/readdir.h
  • /opt/circleci/php/7.0.15/include/php/sapi/cli/cli.h
  • /opt/circleci/php/7.0.15/include/php/main/win95nt.h
  • /opt/circleci/php/7.0.15/include/php/main/streams/php_streams_int.h
  • /opt/circleci/php/7.0.15/include/php/main/streams/php_stream_userspace.h
  • /opt/circleci/php/7.0.15/include/php/main/streams/php_stream_transport.h
  • /opt/circleci/php/7.0.15/include/php/main/streams/php_stream_plain_wrapper.h
  • /opt/circleci/php/7.0.15/include/php/main/streams/php_stream_mmap.h
  • /opt/circleci/php/7.0.15/include/php/main/streams/php_stream_glob_wrapper.h
  • /opt/circleci/php/7.0.15/include/php/main/streams/php_stream_filter_api.h
  • /opt/circleci/php/7.0.15/include/php/main/streams/php_stream_context.h
  • /opt/circleci/php/7.0.15/include/php/main/spprintf.h
  • /opt/circleci/php/7.0.15/include/php/main/snprintf.h
  • /opt/circleci/php/7.0.15/include/php/main/SAPI.h
  • /opt/circleci/php/7.0.15/include/php/main/rfc1867.h

Uploaded

about 7 years ago

Package Size

72.7 MB

Installed Size

219 MB

Downloads

22

wget

wget --content-disposition "https://packagecloud.io/circleci/trusty/packages/ubuntu/trusty/circleci-php-7.0.15_5_amd64.deb/download.deb?distro_version_id=20"

Homepage

http://example.com/no-uri-given