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

PHP 7.1.5 built by CircleCI

Checksums

MD5 12ccd41c5c433c8ff010794615d131e4
SHA1 8abba1b9fb962339380016a9785e48b2e3170b0a
SHA256 c15d1e5812e337606c6ba39be75579406028e7c0e60d2748a1aabdcef8ec423f
SHA512 b89c623cbc686b03d09273f79bf991f156f80c7a9038022bf647aeefd03fba5dc1044e8dd1d4e9314e7b59ca4bf1bdb56f50832177a07451a887e29af9bdf9bf

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.5/include/php/main/streams/php_stream_context.h
  • /opt/circleci/php/7.1.5/include/php/main/spprintf.h
  • /opt/circleci/php/7.1.5/include/php/main/snprintf.h
  • /opt/circleci/php/7.1.5/include/php/main/SAPI.h
  • /opt/circleci/php/7.1.5/include/php/main/rfc1867.h
  • /opt/circleci/php/7.1.5/include/php/main/php.h
  • /opt/circleci/php/7.1.5/include/php/main/php_version.h
  • /opt/circleci/php/7.1.5/include/php/main/php_variables.h
  • /opt/circleci/php/7.1.5/include/php/main/php_ticks.h
  • /opt/circleci/php/7.1.5/include/php/main/php_syslog.h
  • /opt/circleci/php/7.1.5/include/php/main/php_streams.h
  • /opt/circleci/php/7.1.5/include/php/main/php_stdint.h
  • /opt/circleci/php/7.1.5/include/php/main/php_scandir.h
  • /opt/circleci/php/7.1.5/include/php/main/php_reentrancy.h
  • /opt/circleci/php/7.1.5/include/php/main/php_output.h
  • /opt/circleci/php/7.1.5/include/php/main/php_open_temporary_file.h
  • /opt/circleci/php/7.1.5/include/php/main/php_network.h
  • /opt/circleci/php/7.1.5/include/php/main/php_memory_streams.h
  • /opt/circleci/php/7.1.5/include/php/main/php_main.h
  • /opt/circleci/php/7.1.5/include/php/main/php_ini.h
  • /opt/circleci/php/7.1.5/include/php/main/php_globals.h
  • /opt/circleci/php/7.1.5/include/php/main/php_getopt.h
  • /opt/circleci/php/7.1.5/include/php/main/php_content_types.h
  • /opt/circleci/php/7.1.5/include/php/main/php_config.h
  • /opt/circleci/php/7.1.5/include/php/main/php_compat.h
  • /opt/circleci/php/7.1.5/include/php/main/http_status_codes.h
  • /opt/circleci/php/7.1.5/include/php/main/fopen_wrappers.h
  • /opt/circleci/php/7.1.5/include/php/main/fastcgi.h
  • /opt/circleci/php/7.1.5/include/php/main/build-defs.h
  • /opt/circleci/php/7.1.5/include/php/ext/xml/php_xml.h

Uploaded

almost 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.5_5_amd64.deb/download.deb?distro_version_id=20"

Homepage

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