diff options
Diffstat (limited to 'cad')
| -rw-r--r-- | cad/astk-serveur/Makefile | 1 | ||||
| -rw-r--r-- | cad/dinotrace/Makefile | 2 | ||||
| -rw-r--r-- | cad/verilog-mode.el/Makefile | 2 |
3 files changed, 3 insertions, 2 deletions
diff --git a/cad/astk-serveur/Makefile b/cad/astk-serveur/Makefile index f820116a1cca..934b2dc6a291 100644 --- a/cad/astk-serveur/Makefile +++ b/cad/astk-serveur/Makefile @@ -3,6 +3,7 @@ PORTNAME= astk DISTVERSION= 2020.0-1 +PORTREVISION= 1 CATEGORIES= cad .if !defined(CLIENT_SEUL) PKGNAMESUFFIX= -serveur diff --git a/cad/dinotrace/Makefile b/cad/dinotrace/Makefile index 703af4fad26a..f5614679204b 100644 --- a/cad/dinotrace/Makefile +++ b/cad/dinotrace/Makefile @@ -3,7 +3,7 @@ PORTNAME= dinotrace PORTVERSION= 9.4c -PORTREVISION= 10 +PORTREVISION= 11 CATEGORIES= cad MASTER_SITES= http://www.veripool.org/ftp/ PKGNAMESUFFIX= ${EMACS_PKGNAMESUFFIX} diff --git a/cad/verilog-mode.el/Makefile b/cad/verilog-mode.el/Makefile index 8255afcf4c54..e7942425682c 100644 --- a/cad/verilog-mode.el/Makefile +++ b/cad/verilog-mode.el/Makefile @@ -3,7 +3,7 @@ PORTNAME= verilog-mode.el PORTVERSION= 801 -PORTREVISION= 9 +PORTREVISION= 10 CATEGORIES= cad elisp MASTER_SITES= http://www.veripool.org/ftp/ PKGNAMESUFFIX= ${EMACS_PKGNAMESUFFIX} |