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/ext/standard/php_filestat.h
  • /opt/circleci/php/7.1.2/include/php/ext/standard/php_ext_syslog.h
  • /opt/circleci/php/7.1.2/include/php/ext/standard/php_dns.h
  • /opt/circleci/php/7.1.2/include/php/ext/standard/php_dir.h
  • /opt/circleci/php/7.1.2/include/php/ext/standard/php_crypt.h
  • /opt/circleci/php/7.1.2/include/php/ext/standard/php_crypt_r.h
  • /opt/circleci/php/7.1.2/include/php/ext/standard/php_browscap.h
  • /opt/circleci/php/7.1.2/include/php/ext/standard/php_assert.h
  • /opt/circleci/php/7.1.2/include/php/ext/standard/php_array.h
  • /opt/circleci/php/7.1.2/include/php/ext/standard/pageinfo.h
  • /opt/circleci/php/7.1.2/include/php/ext/standard/pack.h
  • /opt/circleci/php/7.1.2/include/php/ext/standard/microtime.h
  • /opt/circleci/php/7.1.2/include/php/ext/standard/md5.h
  • /opt/circleci/php/7.1.2/include/php/ext/standard/info.h
  • /opt/circleci/php/7.1.2/include/php/ext/standard/html.h
  • /opt/circleci/php/7.1.2/include/php/ext/standard/html_tables.h
  • /opt/circleci/php/7.1.2/include/php/ext/standard/head.h
  • /opt/circleci/php/7.1.2/include/php/ext/standard/fsock.h
  • /opt/circleci/php/7.1.2/include/php/ext/standard/flock_compat.h
  • /opt/circleci/php/7.1.2/include/php/ext/standard/file.h
  • /opt/circleci/php/7.1.2/include/php/ext/standard/exec.h
  • /opt/circleci/php/7.1.2/include/php/ext/standard/dl.h
  • /opt/circleci/php/7.1.2/include/php/ext/standard/datetime.h
  • /opt/circleci/php/7.1.2/include/php/ext/standard/cyr_convert.h
  • /opt/circleci/php/7.1.2/include/php/ext/standard/css.h
  • /opt/circleci/php/7.1.2/include/php/ext/standard/crypt_freesec.h
  • /opt/circleci/php/7.1.2/include/php/ext/standard/crypt_blowfish.h
  • /opt/circleci/php/7.1.2/include/php/ext/standard/credits.h
  • /opt/circleci/php/7.1.2/include/php/ext/standard/credits_sapi.h
  • /opt/circleci/php/7.1.2/include/php/ext/standard/credits_ext.h

Uploaded

over 7 years ago

Package Size

74.5 MB

Installed Size

225 MB

Downloads

29

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