circleci-php-7.0.3_3_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.3=3

PHP 7.0.3 built by CircleCI

Checksums

MD5 3a5bba7a4306734cb613fda688f82a1c
SHA1 6a6dce717c7fcbec2b53eafc6ac7d6c06f38c981
SHA256 b864aafd49611c775ba3e37403360bb11a1cb27d9304b2aec690f044ef293b25
SHA512 e5e929041aa1d1088f26627adf1f0649eb3c866214503b4bf1af2d38ed0fde30bada4bb1b605b59c469ad5d810c0fa63a16257f6746ff001f70cbb72f39f1874

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, apache2-dev, autoconf

Files

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

Uploaded

about 8 years ago

Package Size

70 MB

Installed Size

211 MB

Downloads

21

wget

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

Homepage

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