Hi there

I am running devuan ascii

lsb_release -a
No LSB modules are available.
Distributor ID: Devuan
Description: Devuan GNU/Linux 2.0 (ascii)
Release: 2.0
Codename: ascii

uname -a
Linux jrlp02 4.9.0-8-amd64 #1 SMP Debian 4.9.144-3.1 (2019-02-19) x86_64
GNU/Linux

I currently have php 7.0 installed

php --version
PHP 7.0.33-0+deb9u2 (cli) (built: Feb 25 2019 23:13:19) ( NTS )
Copyright (c) 1997-2017 The PHP Group
Zend Engine v3.0.0, Copyright (c) 1998-2017 Zend Technologies
    with Zend OPcache v7.0.33-0+deb9u2, Copyright (c) 1999-2017, by Zend
Technologies

I want to install php 7.1.3 (or later) as a tool that I want to run (grav -
a simple website builder) requires at least php 7.1.3

bin/grav --help
You are running PHP 7.0.33-0+deb9u2, but Grav needs at least PHP 7.1.3 to
run.


Is there any way to install php 7.1.3? I can't see it in the repositories.

My sources.list

cat sources.list
## package repositories
#deb http://pkgmaster.devuan.org/merged ascii main
#deb http://pkgmaster.devuan.org/merged ascii-updates main
#deb http://pkgmaster.devuan.org/merged ascii-security main
#deb http://pkgmaster.devuan.org/merged ascii-backports main

deb http://deb.devuan.org/merged ascii main
deb http://deb.devuan.org/merged ascii-updates main
deb http://deb.devuan.org/merged ascii-security main

## source repositories
#deb-src http://pkgmaster.devuan.org/merged ascii main
#deb-src http://pkgmaster.devuan.org/merged ascii-updates main
#deb-src http://pkgmaster.devuan.org/merged ascii-security main
#deb-src http://pkgmaster.devuan.org/merged ascii-backports main
#deb-src http://deb.devuan.org/merged ascii main
#deb-src http://deb.devuan.org/merged ascii-updates main
#deb-src http://deb.devuan.org/merged ascii-security main

Thans