circleci-php-7.1.3_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.3=5

PHP 7.1.3 built by CircleCI

Checksums

MD5 ba7b7dd8296b09a17c22b1854d78919c
SHA1 d09f718a29a7385f2bc8980ebc969c70a0ec5778
SHA256 dcb0dedb8a5b648162fa66286ba35f08eb8099f6549ef502ab71973c6bdc82a4
SHA512 5cafaba6218db9ad8d64d882260ad5b79bb91af7e6e8c5411c85ca0de09b988292dc46f93417b00623b34dc7b0f0b50603cd901804cb9892d472011ada36fe67

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.3/include/php/ext/gd/libgd/gdfontg.h
  • /opt/circleci/php/7.1.3/include/php/ext/gd/libgd/gdcache.h
  • /opt/circleci/php/7.1.3/include/php/ext/gd/libgd/gd.h
  • /opt/circleci/php/7.1.3/include/php/ext/gd/libgd/gd_io.h
  • /opt/circleci/php/7.1.3/include/php/ext/gd/libgd/gd_intern.h
  • /opt/circleci/php/7.1.3/include/php/ext/gd/gdcache.h
  • /opt/circleci/php/7.1.3/include/php/ext/gd/gd_compat.h
  • /opt/circleci/php/7.1.3/include/php/ext/filter/php_filter.h
  • /opt/circleci/php/7.1.3/include/php/ext/dom/xml_common.h
  • /opt/circleci/php/7.1.3/include/php/ext/date/php_date.h
  • /opt/circleci/php/7.1.3/include/php/ext/date/lib/timelib.h
  • /opt/circleci/php/7.1.3/include/php/ext/date/lib/timelib_structs.h
  • /opt/circleci/php/7.1.3/include/php/ext/date/lib/timelib_config.h
  • /opt/circleci/php/7.1.3/etc/php.ini
  • /opt/circleci/php/7.1.3/etc/php-fpm.d/www.conf.default
  • /opt/circleci/php/7.1.3/etc/php-fpm.conf.default
  • /opt/circleci/php/7.1.3/etc/pear.conf
  • /opt/circleci/php/7.1.3/etc/conf.d/xdebug.ini
  • /opt/circleci/php/7.1.3/bin/phpize
  • /opt/circleci/php/7.1.3/bin/phpdbg
  • /opt/circleci/php/7.1.3/bin/php-config
  • /opt/circleci/php/7.1.3/bin/php-cgi
  • /opt/circleci/php/7.1.3/bin/php
  • /opt/circleci/php/7.1.3/bin/phar.phar
  • /opt/circleci/php/7.1.3/bin/pecl
  • /opt/circleci/php/7.1.3/bin/peardev
  • /opt/circleci/php/7.1.3/bin/pear

Uploaded

about 7 years ago

Package Size

74.6 MB

Installed Size

225 MB

Downloads

27

wget

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

Homepage

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