circleci-php-7.1.2_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.2=5

PHP 7.1.2 built by CircleCI

Checksums

MD5 ad609fc295b14778a57d03682062cdc3
SHA1 708933e89ddad411de762468b1032d3458f3c94b
SHA256 2c6b82a41a68ee38c3a88ceb263e9d8aae4b54369605611dd6f6c18df22d752c
SHA512 459969ae6da8cc1e7debff47b7ad2eb5c5ee12632d9caa570e8f542a79d1eb2346665d51fc1ad5d81f597fbc396d52d07893ae8ec6f2b8a3953a09e65e55a1e8

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

Uploaded

about 7 years ago

Package Size

74.5 MB

Installed Size

225 MB

Downloads

26

wget

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

Homepage

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