Cross Reference: satallax.install
xref: /hets/utils/ubuntu/packages/satallax-2.7/debian/satallax.install
  • Home
  • History
  • Annotate
  • Line#
  • Navigate
  • Download
  • only in ./
satallax.install revision 91c0a04f8a6d3c1121460346e0e12cf40c4e1faa
c10c16dec587a0662068f6e2991c29ed3a9db943Richard Lowebin/satallax usr/bin/
c10c16dec587a0662068f6e2991c29ed3a9db943Richard Lowebin/dllminisatinterface.so usr/lib/satallax
c10c16dec587a0662068f6e2991c29ed3a9db943Richard Lowecoq/* usr/share/satallax/coq/
c10c16dec587a0662068f6e2991c29ed3a9db943Richard Lowecoq2/* usr/share/satallax/coq2/
c10c16dec587a0662068f6e2991c29ed3a9db943Richard Lowemodes/* usr/share/satallax/modes/
c10c16dec587a0662068f6e2991c29ed3a9db943Richard Loweproblems/* usr/share/satallax/problems/
c10c16dec587a0662068f6e2991c29ed3a9db943Richard Lowe
c10c16dec587a0662068f6e2991c29ed3a9db943Richard Lowepicosat-936/picomus usr/bin
c10c16dec587a0662068f6e2991c29ed3a9db943Richard Lowepicosat-936/picosat usr/bin
c10c16dec587a0662068f6e2991c29ed3a9db943Richard Lowe

Indexes created Tue Jul 24 14:28:13 CEST 2018