hol-light <-> python3-os-ken

Version of hol-light: 20190729-4+b3

Architecture of hol-light: amd64

Version of python3-os-ken: 1.2.0-2

Architecture of python3-os-ken: all

hol-lightpython3-os-ken
sizefilenamehash functionsfilename
0 B./usr/share/hol-light/ocamlinit-stamp gzip_sha512, gzip_sha512 -> sha512, sha512 -> gzip_sha512, sha512./usr/lib/python3/dist-packages/os_ken/app/__init__.py
gzip_sha512, gzip_sha512 -> sha512, sha512 -> gzip_sha512, sha512./usr/lib/python3/dist-packages/os_ken/app/gui_topology/__init__.py
gzip_sha512, gzip_sha512 -> sha512, sha512 -> gzip_sha512, sha512./usr/lib/python3/dist-packages/os_ken/base/__init__.py
gzip_sha512, gzip_sha512 -> sha512, sha512 -> gzip_sha512, sha512./usr/lib/python3/dist-packages/os_ken/cmd/__init__.py
gzip_sha512, gzip_sha512 -> sha512, sha512 -> gzip_sha512, sha512./usr/lib/python3/dist-packages/os_ken/controller/__init__.py
gzip_sha512, gzip_sha512 -> sha512, sha512 -> gzip_sha512, sha512./usr/lib/python3/dist-packages/os_ken/lib/__init__.py
gzip_sha512, gzip_sha512 -> sha512, sha512 -> gzip_sha512, sha512./usr/lib/python3/dist-packages/os_ken/services/protocols/bgp/__init__.py
gzip_sha512, gzip_sha512 -> sha512, sha512 -> gzip_sha512, sha512./usr/lib/python3/dist-packages/os_ken/services/protocols/bgp/api/__init__.py
gzip_sha512, gzip_sha512 -> sha512, sha512 -> gzip_sha512, sha512./usr/lib/python3/dist-packages/os_ken/services/protocols/bgp/operator/__init__.py
gzip_sha512, gzip_sha512 -> sha512, sha512 -> gzip_sha512, sha512./usr/lib/python3/dist-packages/os_ken/services/protocols/bgp/operator/commands/__init__.py
gzip_sha512, gzip_sha512 -> sha512, sha512 -> gzip_sha512, sha512./usr/lib/python3/dist-packages/os_ken/services/protocols/bgp/rtconf/__init__.py
gzip_sha512, gzip_sha512 -> sha512, sha512 -> gzip_sha512, sha512./usr/lib/python3/dist-packages/os_ken/services/protocols/bgp/utils/__init__.py
gzip_sha512, gzip_sha512 -> sha512, sha512 -> gzip_sha512, sha512./usr/lib/python3/dist-packages/os_ken/tests/__init__.py
gzip_sha512, gzip_sha512 -> sha512, sha512 -> gzip_sha512, sha512./usr/lib/python3/dist-packages/os_ken/tests/integrated/__init__.py
gzip_sha512, gzip_sha512 -> sha512, sha512 -> gzip_sha512, sha512./usr/lib/python3/dist-packages/os_ken/tests/integrated/bgp/__init__.py
gzip_sha512, gzip_sha512 -> sha512, sha512 -> gzip_sha512, sha512./usr/lib/python3/dist-packages/os_ken/tests/integrated/common/__init__.py
gzip_sha512, gzip_sha512 -> sha512, sha512 -> gzip_sha512, sha512./usr/lib/python3/dist-packages/os_ken/tests/switch/__init__.py
gzip_sha512, gzip_sha512 -> sha512, sha512 -> gzip_sha512, sha512./usr/lib/python3/dist-packages/os_ken/tests/unit/app/__init__.py
gzip_sha512, gzip_sha512 -> sha512, sha512 -> gzip_sha512, sha512./usr/lib/python3/dist-packages/os_ken/tests/unit/controller/__init__.py
gzip_sha512, gzip_sha512 -> sha512, sha512 -> gzip_sha512, sha512./usr/lib/python3/dist-packages/os_ken/tests/unit/lib/__init__.py
gzip_sha512, gzip_sha512 -> sha512, sha512 -> gzip_sha512, sha512./usr/lib/python3/dist-packages/os_ken/tests/unit/ofproto/__init__.py
gzip_sha512, gzip_sha512 -> sha512, sha512 -> gzip_sha512, sha512./usr/lib/python3/dist-packages/os_ken/tests/unit/packet/__init__.py
gzip_sha512, gzip_sha512 -> sha512, sha512 -> gzip_sha512, sha512./usr/lib/python3/dist-packages/os_ken/tests/unit/sample/__init__.py
gzip_sha512, gzip_sha512 -> sha512, sha512 -> gzip_sha512, sha512./usr/lib/python3/dist-packages/os_ken/tests/unit/services/__init__.py
gzip_sha512, gzip_sha512 -> sha512, sha512 -> gzip_sha512, sha512./usr/lib/python3/dist-packages/os_ken/tests/unit/services/protocols/__init__.py
gzip_sha512, gzip_sha512 -> sha512, sha512 -> gzip_sha512, sha512./usr/lib/python3/dist-packages/os_ken/tests/unit/services/protocols/bgp/__init__.py
gzip_sha512, gzip_sha512 -> sha512, sha512 -> gzip_sha512, sha512./usr/lib/python3/dist-packages/os_ken/tests/unit/services/protocols/bgp/core_managers/__init__.py
gzip_sha512, gzip_sha512 -> sha512, sha512 -> gzip_sha512, sha512./usr/lib/python3/dist-packages/os_ken/tests/unit/services/protocols/bgp/utils/__init__.py
gzip_sha512, gzip_sha512 -> sha512, sha512 -> gzip_sha512, sha512./usr/lib/python3/dist-packages/os_ken-1.2.0.egg-info/requires.txt

Details about this service