circleci-php-7.1.4_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.4=5

PHP 7.1.4 built by CircleCI

Checksums

MD5 bf121c4d2f61f8748ada3f9af53eb99c
SHA1 61a768ddf62a49a67eacff381cab62b7afaf6e47
SHA256 9133120acbfdc96603fdd3eac7ae34703fd0f5c6784bb4b2b4b5cbc178baa5b6
SHA512 4433e6de7301941c9e487e3ceb3f88539d376903606143450e34ac6eb0aa78208c3815135fb59040113ee63e9ca5d66ee45a305402ec1f25d42787c408afb416

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.4/lib/php/.channels/.alias/phpdocs.txt
  • /opt/circleci/php/7.1.4/lib/php/.channels/.alias/pecl.txt
  • /opt/circleci/php/7.1.4/lib/php/.channels/.alias/pear.txt
  • /opt/circleci/php/7.1.4/lib/php/.channels/__uri.reg
  • /opt/circleci/php/7.1.4/include/php/Zend/zend.h
  • /opt/circleci/php/7.1.4/include/php/Zend/zend_vm.h
  • /opt/circleci/php/7.1.4/include/php/Zend/zend_vm_opcodes.h
  • /opt/circleci/php/7.1.4/include/php/Zend/zend_vm_execute.h
  • /opt/circleci/php/7.1.4/include/php/Zend/zend_vm_def.h
  • /opt/circleci/php/7.1.4/include/php/Zend/zend_virtual_cwd.h
  • /opt/circleci/php/7.1.4/include/php/Zend/zend_variables.h
  • /opt/circleci/php/7.1.4/include/php/Zend/zend_types.h
  • /opt/circleci/php/7.1.4/include/php/Zend/zend_type_info.h
  • /opt/circleci/php/7.1.4/include/php/Zend/zend_ts_hash.h
  • /opt/circleci/php/7.1.4/include/php/Zend/zend_strtod.h
  • /opt/circleci/php/7.1.4/include/php/Zend/zend_strtod_int.h
  • /opt/circleci/php/7.1.4/include/php/Zend/zend_string.h
  • /opt/circleci/php/7.1.4/include/php/Zend/zend_stream.h
  • /opt/circleci/php/7.1.4/include/php/Zend/zend_stack.h
  • /opt/circleci/php/7.1.4/include/php/Zend/zend_sort.h
  • /opt/circleci/php/7.1.4/include/php/Zend/zend_smart_str.h
  • /opt/circleci/php/7.1.4/include/php/Zend/zend_smart_str_public.h
  • /opt/circleci/php/7.1.4/include/php/Zend/zend_signal.h
  • /opt/circleci/php/7.1.4/include/php/Zend/zend_range_check.h
  • /opt/circleci/php/7.1.4/include/php/Zend/zend_ptr_stack.h
  • /opt/circleci/php/7.1.4/include/php/Zend/zend_portability.h
  • /opt/circleci/php/7.1.4/include/php/Zend/zend_operators.h
  • /opt/circleci/php/7.1.4/include/php/Zend/zend_objects.h
  • /opt/circleci/php/7.1.4/include/php/Zend/zend_objects_API.h
  • /opt/circleci/php/7.1.4/include/php/Zend/zend_object_handlers.h

Uploaded

almost 7 years ago

Package Size

74.6 MB

Installed Size

225 MB

Downloads

19

wget

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

Homepage

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