diff options
| author | Remi Collet <fedora@famillecollet.com> | 2013-10-03 15:30:52 +0200 |
|---|---|---|
| committer | Remi Collet <fedora@famillecollet.com> | 2013-10-03 15:30:52 +0200 |
| commit | 7c50a5aa7651badde32a5c5e1ee04798e5a3c64e (patch) | |
| tree | c47b4cf5e3a5d85944ca59400341a5274b11b420 /remi-el.repo | |
| parent | c20e967e0d3ae332f743454caa9406ab20db6dc5 (diff) | |
remi-release: add php55 repository for PHP 5.5 packages
Diffstat (limited to 'remi-el.repo')
| -rw-r--r-- | remi-el.repo | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/remi-el.repo b/remi-el.repo index 765483e..f824950 100644 --- a/remi-el.repo +++ b/remi-el.repo @@ -6,10 +6,20 @@ enabled=0 gpgcheck=1 gpgkey=file:///etc/pki/rpm-gpg/RPM-GPG-KEY-remi +[remi-php55] +name=Les RPM de remi de PHP 5.5 pour Enterprise Linux VERSION - $basearch +#baseurl=http://rpms.famillecollet.com/enterprise/VERSION/php55/$basearch/ +mirrorlist=http://rpms.famillecollet.com/enterprise/VERSION/php55/mirror +# WARNING: If you enable this repository, you must also enable "remi" +enabled=0 +gpgcheck=1 +gpgkey=file:///etc/pki/rpm-gpg/RPM-GPG-KEY-remi + [remi-test] name=Les RPM de remi en test pour Enterprise Linux VERSION - $basearch #baseurl=http://rpms.famillecollet.com/enterprise/VERSION/test/$basearch/ mirrorlist=http://rpms.famillecollet.com/enterprise/VERSION/test/mirror +# WARNING: If you enable this repository, you must also enable "remi" enabled=0 gpgcheck=1 gpgkey=file:///etc/pki/rpm-gpg/RPM-GPG-KEY-remi @@ -21,6 +31,13 @@ enabled=0 gpgcheck=1 gpgkey=file:///etc/pki/rpm-gpg/RPM-GPG-KEY-remi +[remi-php55-debuginfo] +name=Les RPM de remi de PHP 5.5 pour Enterprise Linux VERSION - $basearch - debuginfo +baseurl=http://rpms.famillecollet.com/enterprise/VERSION/debug-php55/$basearch/ +enabled=0 +gpgcheck=1 +gpgkey=file:///etc/pki/rpm-gpg/RPM-GPG-KEY-remi + [remi-test-debuginfo] name=Les RPM de remi en test pour Enterprise Linux VERSION - $basearch - debuginfo baseurl=http://rpms.famillecollet.com/enterprise/VERSION/debug-test/$basearch/ |