From owner-freebsd-ports Sun Jun 29 08:20:06 1997 Return-Path: Received: (from root@localhost) by hub.freebsd.org (8.8.5/8.8.5) id IAA05630 for ports-outgoing; Sun, 29 Jun 1997 08:20:06 -0700 (PDT) Received: (from gnats@localhost) by hub.freebsd.org (8.8.5/8.8.5) id IAA05607; Sun, 29 Jun 1997 08:20:02 -0700 (PDT) Resent-Date: Sun, 29 Jun 1997 08:20:02 -0700 (PDT) Resent-Message-Id: <199706291520.IAA05607@hub.freebsd.org> Resent-From: gnats (GNATS Management) Resent-To: freebsd-ports Resent-Reply-To: FreeBSD-gnats@FreeBSD.ORG, xaa@stack.nl Received: from terra.stack.nl (terra.stack.nl [131.155.140.128]) by hub.freebsd.org (8.8.5/8.8.5) with ESMTP id IAA05324 for ; Sun, 29 Jun 1997 08:11:58 -0700 (PDT) Received: from xaa.stack.nl (uucp@localhost) by terra.stack.nl (8.8.6) with UUCP id RAA23249 for FreeBSD-gnats-submit@freebsd.org; Sun, 29 Jun 1997 17:11:53 +0200 (MET DST) Received: (from xaa@localhost) by xaa.stack.nl (8.8.5/8.8.2) id RAA26666; Sun, 29 Jun 1997 17:11:39 +0200 (MET DST) Message-Id: <199706291511.RAA26666@xaa.stack.nl> Date: Sun, 29 Jun 1997 17:11:39 +0200 (MET DST) From: xaa@stack.nl Reply-To: xaa@stack.nl To: FreeBSD-gnats-submit@FreeBSD.ORG X-Send-Pr-Version: 3.2 Subject: ports/3983: New port: PSF (process algebra toolkit) Sender: owner-ports@FreeBSD.ORG X-Loop: FreeBSD.org Precedence: bulk >Number: 3983 >Category: ports >Synopsis: New port: psf toolkit >Confidential: no >Severity: non-critical >Priority: low >Responsible: freebsd-ports >State: open >Class: change-request >Submitter-Id: current-users >Arrival-Date: Sun Jun 29 08:20:01 PDT 1997 >Last-Modified: >Originator: Mark Huizer >Organization: >Release: FreeBSD 3.0-CURRENT i386 >Environment: >Description: PSF: Process Specification Formalism A toolkit for work in the field of Process Algebra >How-To-Repeat: >Fix: begin 644 psf.port.tgz M'XL(`+YWMC,``^U;>7?32!+G7^E3U-B!'(YMR;9L8B:0O"0,WB&$EYB!V3AC M9*D5]XL.KR23!)CY[%O5.BS?@9UD9W9=@"555U^_JJZJ;HE!8)4?W3-!36EH M&CP"(F7B&C]`O:IIM4:E5J_C.1[7KA([KK/F/T0 M`WI8&J#^C_4K9G&;W54>J+_JM:H`JBJIBJ/0+FO`67I_US_ M>?B%^0'W7/#9OX;<9V93Z$0M*255SL.A'C(P?(:7N(2HL@/_&+H,U)V=!@J] M[WO.J#"A8]V_@E=#_IGY\..-KN\ATL95R;6?RWG\(Q^VSMIO]H^/=B4TPF+4 MX<%^^^BGD]/6T=FNY.AA7S[>/VL?G7;/6FUB6>&@62[C;^F:NZ5PR+"U\F#8 M*Y,9RTRAR>#'7F"6!IX?EIRK MY_)_6XO?3P0%]S+_#_7:I/ZU MJK;R_P]!QX<:;(Q7][H'N*/_K]0U5:TK#5S_BE9;^?\'H43_!R?'QT=OVO?2QU+_ MWU`C_==J2J4N_'^]LLK_'X3>^I[!`C@;,(-;W-!#V@J\]'Q'MWG@8&@0Y0'H M]B7K^3J$GF=?\7!S%03^-RA9_V]?XT[IGOI8MOXQZTO/?^+U7ZLU5NO_(8CT MW^.N'%_+EM&UPR!]Q/NN9:2/CN';W9#;*0/ON\1,&7A-[SF59J4=8O`L!Z]= M9THDV\CDR]YG*H:\;[!-GUV-C M&)NU/T*(NS@A/5NFNT%6LFOTF7$E.#;O)5>:>?;1L\T)3A":R:.CN\F5_JG9 M!RU]0.>M9A^TN_CH9/T?'IT=G-Z3C2T]_ZM6T_U?5='$^E=6^[\'H;=G+P$1 M<,T`+,^')-P'8_F`E>8#*`@!6_C)O>C#*($;2R-TPC8,-DG9GL#AJ)1/?F(NV;?^\1<>.?R3W0X&=Y2 M.VUF]%W/]BYO-\'PW(`'84#\3[K/O6$``]U'ALVO&.BRX3D#;C,?+-]S@"89 M>M!NO=[&&>`(0^8[S.1TMBGF%I9@'X@)/C.'!O-1#F1T"T-;1T>R#2PT2G#H M&4.'N6$$"D'!;G1G8&/^I/LT<7$T:)9DF8X^_QX9$JW_P/#Y(+R_$\`[[_]J MM8JB1NN_MGK_\R"4U3^N*HM?#OT_^T70$O]?UVC/'^F_IE4KJ/]JK:ZN_/]# M4/Z'*`/JRW+@&R;W=]?>G_Y\V#J5T;&']%P>!G[9]@S=3I*[+G>#L(O^-I$M MEQ*N;MM4H#L,O6D@WZAJ9%34T$?#A/(SN'&N'`LJSY^H\!7Z3#>A2'!R89.@8^;#)M$(.PP'V MMY5SO1!CS-`U!7*A?6/<]K]SE8ATR@+=$.V^"+\[PI_O.2_10EBM"TP=%=`B=F!R!,^J"HD M#BL*R-@",S!:WY;B2NT^IBHI%X*^-\24!"N%>IJD4/#.="NB^FC424MO;48* M#F\'3-1ST<`I]PC[>ICI%S#)0;MW<3R8U=QN`[?@UAO&C8C:F'XP9X`9C]BN:&U-^0C7W+8Q&_,&V-*OWI#F3-VY8M9)*]C]:$XT7')@(6#&Y,?# MC2777,B][S/,3"@[F8V9`.`%G"/`IN>NAW#E>M=P`3E8,V3))P/'[?+W)R?F2-TGFLV'A<^3$+RTMQ!,JM?8E8S6(L M_WN./AF0Y@XF7MKCII0%?6HL@6D#3'(-"`L=/QW=_;2!D1S?N4X3@DIXZ3GM4\N$!T,0!+5YO2!_@TH M@*"S"G"[!Z^\0:2:]0!.?BYA$YL8TBTGA&*C$?O1D]X)A2NX?1H__#X2`ZQ=\)8 M3)@`@R=/(!5*N9CD4:J!-AL4]@Z/SMJM-_OMULF;O4(R_@(%:A&B(Z'H^QO, M\5`DZATEHDXC^)\G0\BT/+/2M_3ZX>#DSGWREM[NB<^HH!2?N70#'C)Y%,')VC,F2&#(.0MZ497&??-\81(\F&S!,I_*I7'07QXKQ MIQ(=O>9C/XZCDZ2\\"*WB#FGHQ\Z#V)_XT\BQ/FO'AK]>_P"[!O.?^KU2D.< M_ZB-U?G/0U!6_^):U/4_NX_%YS^H[&I\_J.AG$;O_ZIJM;XZ_WD(,KEE07%H M^E`JE4]\?BE<*1V?EQT>&&7+B%\)XJ52LJ&TN%PN%HMW:TEZC_G"2]:#BHHF MT%2K3:U!WQ/7Y4*AL*P;Z6SHPO[`AXH"E6JS6FTJC>ACY+T]**K;52BHVQKL M[>='\HW/>N>A\ MZ?S>*79W.X4?\IVUSF^=KYW.WI/.1F?S0HY>B^AV-ZJ/>Z;'G:U.#@M,?LE# M:D\I[ES(=P`U>K%:=IA#!P?&K`E/B"R&=D)X#-TJH:LH"]&=K#\!L(9_1P!7 MMAM0J&S7"6"0(9]^%$WAVROUGT_P<'-,S.*(Z6!L]8P)23T(F!^.,W.4(P]\ M+_3H^*34SV7+XM$B\YL1[R\'H?\MB/=G(%[[!L3[TXC7=C(FK1'D^!MAGN>6 MR2Q*\][\W#V8C3;DZ41F'NB8`7%+*`\;PG6!CEB4=@>AOW&SB8\2[J2[Q_NO M7Y\<(&,IPO050/I]@+B9X2UF"2U`>9:XU!Y21N>#6@&UUE0JS5I]/LXS6UCH M/"HJ8ES`WT9LW8]_Q]\9;@2+N(G9'[(_]>)G6O[H7VS]UAMBLG@. MG;#C=ZR.N]`ID(W3^"@8Z_YE,.X/IDMG0S8M)[7[P\@F$2NMJ2G-6F4F5C.J M3IFCJLQQ`",#8[[O3BY_RW!#>X)G

]Y5UNES.,/=%^*%9EFKQ0YS(=1QU<7!C-8\K?RG2^RQ0/9H M]'4?S0XM$>T1C7'](K922?H2E?Z^L9$KYKXF3YM;Z=T+&5QV3:UA"QV7[/:N M5BN^X:&;N7!F))9"FI$5L`H+KE*6H-01GF6P9JM/0_LT8\4"VLH=H>W&V*8+ MO4/@TC9:)`/2^0][:X\[OSTI=(I;SU[\4<:\80S\;HQ^>ONU*,#O)NC/ACJV M<#+N@%ZJ.<)JZ";%>I'(%-B+A%.T(?*MU69MRH@7UE\(MUH3EER+X0[H.PJ# M/L8`0B"`75">_<5U0)LE,K#(51F3D$P4S\=^0G`,=Z6IJ$UM9R[NDW478[Y= MHU2X2HA_GZ\=I1,S'/#=X/(9YAA!FG+-*UX*5R(XF0(H=X`KK;L$+BW=.4!Y M"U.BP$.GB'5-N*87<=%W13A[&+HF\R'P;-WG@80C%__=<:LL%]D-O0,41@U; M&)>Z&!9M'H3G%\_D`C:ZH)SJBX3:XWMNG[XYPR4#.Z-OF,K\6K\3'T9PC,AO8.<+I1A@:A'&ET=1F>Y!Y M]1?#71=PU^\"M\U"]!9I.BR@%@ZZ]H12M:T8I6 4M*(5K6A%*UK1)/T;I&2ZF`!0```U ` end >Audit-Trail: >Unformatted: