1 # Buildsheet autogenerated by ravenadm tool -- Do not edit.
3 NAMEBASE= php80-session
7 SDESC[standard]= PHP 8.0 extension: session handling (web)
8 HOMEPAGE= https://php.net/
12 SITES[main]= PHP/distributions
13 DISTFILE[1]= php-8.0.12.tar.xz:main
15 SPKGS[standard]= single
17 OPTIONS_AVAILABLE= none
18 OPTIONS_STANDARD= none
22 DISTNAME= php-8.0.12/ext/{{PHP_MODNAME}}
23 EXTRACT_HEAD[1]= {{TAR}} -xf
24 EXTRACT_TAIL[1]= php-8.0.12/ext/{{PHP_MODNAME}}
28 FPC_EQUIVALENT= www/php80-session
31 CONFIGURE_ARGS= --enable-session
33 [FILE:57:descriptions/desc.single]
34 This package contains the session extension for PHP 8.0.
38 a501017b3b0fd3023223ea25d98e87369b782f8a82310c4033d7ea6a989fea0a 10713980 php-8.0.12.tar.xz