---
- branch: MAIN
  date: Tue Apr 21 22:17:23 UTC 2015
  files:
  - new: '1.1'
    old: '0'
    path: pkgsrc/print/tex-lkproof-doc/DESCR
    pathrev: pkgsrc/print/tex-lkproof-doc/DESCR@1.1
    type: added
  - new: '1.1'
    old: '0'
    path: pkgsrc/print/tex-lkproof-doc/Makefile
    pathrev: pkgsrc/print/tex-lkproof-doc/Makefile@1.1
    type: added
  - new: '1.1'
    old: '0'
    path: pkgsrc/print/tex-lkproof-doc/PLIST
    pathrev: pkgsrc/print/tex-lkproof-doc/PLIST@1.1
    type: added
  - new: '1.1'
    old: '0'
    path: pkgsrc/print/tex-lkproof-doc/distinfo
    pathrev: pkgsrc/print/tex-lkproof-doc/distinfo@1.1
    type: added
  id: 20150421T221723Z.307a0571fd3e608464c6d8354aa8dd1c320bd624
  log: |
    Initial import tex-lkproof{,-doc}-3.1

    The package defines a pair of commands \infer and \deduce, that
    are used in constructing LK proof diagrams.
  module: pkgsrc
  subject: 'CVS commit: pkgsrc/print/tex-lkproof-doc'
  unixtime: '1429654643'
  user: markd