intrepyd

Intrepyd Model Checker

Installation

sudo pip3 install intrepyd

Should I use sudo? pip or pip3?

Releases

Version Released Stretch
Python 3.5
Buster
Python 3.7
Bullseye
Python 3.9
Files
0.12.0 2021-11-25      
0.11.0 2021-11-05      
0.10.3 2021-05-18      
0.10.2 2021-05-13      
0.10.0 2021-04-11      
0.9.4 2020-02-17      
0.9.3.post8 2020-02-16      
0.9.3.post7 2020-02-16      
0.9.3.post6 2020-02-16      
0.9.3.post5 2020-02-15      
0.9.3.post4 2020-02-15      
0.9.3.post3 2020-02-15      
0.9.3.post1 2020-02-15      
0.9.3 2020-02-15      
0.9.2 2020-02-13      
0.9.1 2020-02-13      
0.9.0 2020-02-12      
0.8.2 2020-01-25      
0.7.0 2019-05-12      
0.6.4 2018-01-02      
0.6.3 2017-12-15      
0.6.2 2017-11-27      
0.6.1 2017-10-22      
0.6.0 2017-10-18      
0.5.13 2017-10-12      
0.5.12 2017-10-11      
0.5.11 2017-10-11      
0.5.10 2017-10-11      
0.5.9 2017-10-11      
0.5.8 2017-10-11      
0.5.7 2017-10-11      
0.5.5 2017-10-11      
0.5.4 2017-10-11      
0.5.3 2017-10-11      
0.5.2 2017-10-10      
0.5.1 2017-10-09      
0.5.0 2017-10-09      

Issues with this package?

Page last updated 2022-03-28 14:41:39 UTC