View | Details | Raw Unified | Return to bug 279335 | Differences between
and this patch

Collapse All | Expand All

(-)b/math/alt-ergo/Makefile (-2 / +1 lines)
Lines 1-6 Link Here
1 
PORTNAME=	alt-ergo
 1 
PORTNAME=	alt-ergo
2 
PORTVERSION=	0.95.2
 2 
PORTVERSION=	0.95.2
3 
PORTREVISION=	6
 3 
PORTREVISION=	7
4 
CATEGORIES=	math
 4 
CATEGORIES=	math
5 
MASTER_SITES=	http://alt-ergo.ocamlpro.com/http/alt-ergo-${PORTVERSION}/
 5 
MASTER_SITES=	http://alt-ergo.ocamlpro.com/http/alt-ergo-${PORTVERSION}/
6 

          6
          

        

            

              7
              
- 

              
              
            






  

  Return to bug 279335