File: control

package info (click to toggle)
cl-rsm-modal 1.2
  • links: PTS
  • area: main
  • in suites: lenny
  • size: 64 kB
  • ctags: 32
  • sloc: lisp: 349; makefile: 44; sh: 28
file content (15 lines) | stat: -rw-r--r-- 560 bytes parent folder | download 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
 
Source: cl-rsm-modal
Section: devel
Priority: optional
Maintainer: Debian Common Lisp Team <pkg-common-lisp-devel@lists.alioth.debian.org>
Uploaders: Peter Van Eynde <pvaneynd@debian.org>
Build-Depends: debhelper (>> 4.0.0)
Standards-Version: 3.7.3
Vcs-Git: http://git.debian.org/git/pkg-common-lisp/cl-rsm-modal.git

Package: cl-rsm-modal
Architecture: all
Depends: ${shlibs:Depends}, common-lisp-controller (>= 3.37)
Recommends: cl-ptester
Description: McIntire's Common Lisp Modal Logic Library
 This is R. Scott McIntire's Common Lisp modal logic library.