globus-gram-job-manager-sge-setup-seg <-> why3-examples

Version of globus-gram-job-manager-sge-setup-seg: 3.1-1

Architecture of globus-gram-job-manager-sge-setup-seg: amd64

Version of why3-examples: 1.3.1-2

Architecture of why3-examples: all

globus-gram-job-manager-sge-setup-segwhy3-examples
sizefilenamehash functionsfilename
0 B./etc/globus/scheduler-event-generator/available/sge gzip_sha512, gzip_sha512 -> sha512, sha512 -> gzip_sha512, sha512./usr/share/doc/why3-examples/examples/prover/macro_generator/build/.notempty
gzip_sha512, gzip_sha512 -> sha512, sha512 -> gzip_sha512, sha512./usr/share/doc/why3-examples/examples/prover/macro_generator/depend/.notempty

Details about this service