View | Details | Raw Unified | Return to bug 278438
Collapse All | Expand All

(-)b/math/stp/Makefile (-3 / +2 lines)
Lines 1-6 Link Here
1 
PORTNAME=	stp
 1 
PORTNAME=	stp
2 
DISTVERSION=	2.3.3
 2 
DISTVERSION=	smtcomp2020
3 
PORTREVISION=	13
4 
PORTEPOCH=	1
 3 
PORTEPOCH=	1
5 
CATEGORIES=	math
 4 
CATEGORIES=	math
6 

          5
          

        

  

    
      
            Lines 17-23
          LIB_DEPENDS=	libboost_program_options.so:devel/boost-libs \
      
      
        Link Here
      
    
  

        

          17
          

          16
          

        

        

          18
          
USES=		bison:build compiler:c++11-lang cmake perl5 python

          17
          
USES=		bison:build compiler:c++11-lang cmake perl5 python

        

        

          19
          
USE_GITHUB=	yes

          18
          
USE_GITHUB=	yes

        

            

              20
              
USE_PERL5=	build

              
              
            

        

          21
          
USE_LDCONFIG=	yes

          19
          
USE_LDCONFIG=	yes

        

            

              
              
              20
              
USE_PERL5=	build

            

        

          22
          

          21
          

        

        

          23
          
.include <bsd.port.mk>

          22
          
.include <bsd.port.mk>

        



(-)b/math/stp/distinfo
      (-4 / +3 lines)




  

    
      
            Lines 1-3
          
      
      
        Link Here
      
    
  

          
            

              1
              
TIMESTAMP = 1563715848


              1
              
TIMESTAMP = 1713457414

            

            

              2
              
SHA256 (stp-stp-2.3.3_GH0.tar.gz) = ea6115c0fc11312c797a4b7c4db8734afcfce4908d078f386616189e01b4fffa


              2
              
SHA256 (stp-stp-smtcomp2020_GH0.tar.gz) = c7d17490be10c23507739ae316c2185e43d691ba19a586dc435d28e69c831ad2

            

            

              3
              
SIZE (stp-stp-2.3.3_GH0.tar.gz) = 2577550


              3
              
SIZE (stp-stp-smtcomp2020_GH0.tar.gz) = 8742215

            

            

              4
              
- 

              
              
            






  

  Return to bug 278438