Sophie: dejagnu-20010912:1.4.4-6mdv2008.1 noarch

dejagnu-1.4.4-6mdv2008.1.noarch.rpm

Info
Deps
Files
Scripts
ChangeLog
Location
Others versions
Analyse

PREUN

/bin/sh

if [ "$1" = "0" ]; then if [[ -f /usr/share/info/dejagnu.info.lzma ]];then /sbin/install-info /usr/share/info/dejagnu.info.lzma --dir=/usr/share/info/dir --remove ;fi; fi

POSTIN

/bin/sh

if [[ -f /usr/share/info/dejagnu.info.lzma ]];then /sbin/install-info /usr/share/info/dejagnu.info.lzma --dir=/usr/share/info/dir;fi