circleci-php-7.1.7_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.1.7=5

PHP 7.1.7 built by CircleCI

Checksums

MD5 4468993e36df9d3795e4a23d0a785b1d
SHA1 00adc8556ff64556dcf6d2096dc321e36c6776fb
SHA256 32717d4cc9a96263900fd12f912eb9437c47e018276b81c4e370106e17ffaa0e
SHA512 052e1746eb420c168f1b1703cae13e1c165c39c93886b1e7089e9c35b6ba2b78dc80a32338d0a9d5b1220a8a91d173d76191874c050c50bbf9d35e1f77252d4e

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.1.7/include/php/Zend/zend_config.w32.h
  • /opt/circleci/php/7.1.7/include/php/Zend/zend_config.nw.h
  • /opt/circleci/php/7.1.7/include/php/Zend/zend_config.h
  • /opt/circleci/php/7.1.7/include/php/Zend/zend_compile.h
  • /opt/circleci/php/7.1.7/include/php/Zend/zend_closures.h
  • /opt/circleci/php/7.1.7/include/php/Zend/zend_builtin_functions.h
  • /opt/circleci/php/7.1.7/include/php/Zend/zend_build.h
  • /opt/circleci/php/7.1.7/include/php/Zend/zend_bitset.h
  • /opt/circleci/php/7.1.7/include/php/Zend/zend_ast.h
  • /opt/circleci/php/7.1.7/include/php/Zend/zend_arena.h
  • /opt/circleci/php/7.1.7/include/php/Zend/zend_API.h
  • /opt/circleci/php/7.1.7/include/php/Zend/zend_alloc.h
  • /opt/circleci/php/7.1.7/include/php/Zend/zend_alloc_sizes.h
  • /opt/circleci/php/7.1.7/include/php/TSRM/TSRM.h
  • /opt/circleci/php/7.1.7/include/php/TSRM/tsrm_win32.h
  • /opt/circleci/php/7.1.7/include/php/TSRM/tsrm_strtok_r.h
  • /opt/circleci/php/7.1.7/include/php/TSRM/tsrm_nw.h
  • /opt/circleci/php/7.1.7/include/php/TSRM/tsrm_config.w32.h
  • /opt/circleci/php/7.1.7/include/php/TSRM/tsrm_config.h
  • /opt/circleci/php/7.1.7/include/php/TSRM/tsrm_config_common.h
  • /opt/circleci/php/7.1.7/include/php/TSRM/readdir.h
  • /opt/circleci/php/7.1.7/include/php/sapi/cli/cli.h
  • /opt/circleci/php/7.1.7/include/php/main/win95nt.h
  • /opt/circleci/php/7.1.7/include/php/main/streams/php_streams_int.h
  • /opt/circleci/php/7.1.7/include/php/main/streams/php_stream_userspace.h
  • /opt/circleci/php/7.1.7/include/php/main/streams/php_stream_transport.h
  • /opt/circleci/php/7.1.7/include/php/main/streams/php_stream_plain_wrapper.h
  • /opt/circleci/php/7.1.7/include/php/main/streams/php_stream_mmap.h
  • /opt/circleci/php/7.1.7/include/php/main/streams/php_stream_glob_wrapper.h
  • /opt/circleci/php/7.1.7/include/php/main/streams/php_stream_filter_api.h

Uploaded

over 6 years ago

Package Size

74.6 MB

Installed Size

225 MB

Downloads

23

wget

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

Homepage

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