CCF_100/relational
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Depend on typedload

Browse Source
This commit is contained in:
Salvo 'LtWorf' Tomaselli 2020-08-24 18:02:39 +02:00
parent 4d81858c8b
commit dac2d47246
No known key found for this signature in database
GPG Key ID: B3A7CF0C801886CF
2 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
.travis.yml
View File

@ -6,6 +6,7 @@ python:
install: install:
- pip install mypy - pip install mypy
- pip install xtermcolor - pip install xtermcolor
- pip install typedload
script: script:
- make mypy - make mypy

4
debian/control vendored
View File

@ -3,7 +3,7 @@ Section: math
Priority: optional Priority: optional
Maintainer: Salvo 'LtWorf' Tomaselli <tiposchi@tiscali.it> Maintainer: Salvo 'LtWorf' Tomaselli <tiposchi@tiscali.it>
Build-Depends: debhelper-compat (= 13), debhelper (>= 13), python3, dh-python, python3-xtermcolor, pyqt5-dev-tools, Build-Depends: debhelper-compat (= 13), debhelper (>= 13), python3, dh-python, python3-xtermcolor, pyqt5-dev-tools,
python3-distutils python3-distutils, python3-typedload
Standards-Version: 4.5.0 Standards-Version: 4.5.0
X-Python3-Version: >= 3.8 X-Python3-Version: >= 3.8
Homepage: https://ltworf.github.io/relational/ Homepage: https://ltworf.github.io/relational/
@ -12,7 +12,7 @@ Rules-Requires-Root: no
Package: python3-relational Package: python3-relational
Architecture: all Architecture: all
Section: python Section: python
Depends: ${misc:Depends}, ${python3:Depends} Depends: ${misc:Depends}, ${python3:Depends}, python3-typedload
Description: Educational tool for relational algebra (standalone module) Description: Educational tool for relational algebra (standalone module)
Relational is primarily a tool to provide a workspace for experimenting with Relational is primarily a tool to provide a workspace for experimenting with
relational algebra, an offshoot of first-order logic. relational algebra, an offshoot of first-order logic.