Skip site navigation (1)Skip section navigation (2)
Date:      Sun, 29 Jun 1997 17:11:39 +0200 (MET DST)
From:      xaa@stack.nl
To:        FreeBSD-gnats-submit@FreeBSD.ORG
Subject:   ports/3983: New port: PSF (process algebra toolkit)
Message-ID:  <199706291511.RAA26666@xaa.stack.nl>
Resent-Message-ID: <199706291520.IAA05607@hub.freebsd.org>

next in thread | raw e-mail | index | archive | help

>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<Z/1J#P"[;X'1C0,0MT'>.1[7KA([KK/F/T0
M`WI8&J#^C_4K9G&;W5<?JJ+4:[7Y^M>4>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,9RT<?VJ?[!^WNV;N7'W:E4GCY6?3QLO6:ZJ*(JJB"^_[TY[/3@UU)NO;\
M*QG[:+UIX[^CTUTI.TY9SA_OOU%1[DJW+(;#DTO<->RAR>#'7F"6!IX?EIRK
MY_)_6XO?3P0<K?W@'J/`-_C_JE:IT?I7&LK*_S\$C?3OF/>%]S+_#_7:I/ZU
MJK;R_P]!QX<:;(Q<XR;L@J'4GVJL]K3:ZSWM&7I%JQKU2D4W:M9.W3`L\V_L
M[58T2;3^!U>7][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\CD<Z^7WM*!Q:=14X-!]C[T?,^RQCDANTD9`7>R]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#*`@<LP&P=?=RJ%\R,%G`+UUFRE1]&##@+H1]!A9G
MM@F>!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'<!AH#U
MH%S:*K;*Y77X*DL)"Z2+<OER_:,L<TLZAQ^@:$)N+=MT#J#H48$U45!N.?H5
M*X7HI'/0D26DA8+^$)UY#BYDC$2N+(FA=@/]-E@T>!R89.@8^;#)M$(.PP'V
MMY5SO1!CS-`U<UN;DJ!GST1!\?!=P%H19CA1G#9)C".&(<^;:/:K'+42@5,0
M>!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<U=
MM@T?>]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/'[<PU\V4)
MYW(.Q<^HLXA#&I)H=!*[X2'V:0=LW-!225E"ZR$#BBR/$L#`&_I&C"&+$S3/
M#BBY1-VL1;XHEZDP$A$H]2C?2FR<:L3N:CO2"0^VD\HX/&8,0[U'ZEU8ESQA
M6DL?WJ`LUQ'DR$H65\6M6EH5]U]#W<:$]')I-13-3G*.@N+T$L87G:@GYU-=
MMX)H[H;GDWF@5F]C1<KYK";SPEG%NB$WE1=K\OSVUXNMK^OKFX!K/F*]V-J,
MQM9RX;K/C7[&\L@V6Z/E.$>?+W)R?F2-TGFLV'A<^3$+RTMQ!,JM?8E8S6(L
M_WN./AF0Y@XF7MKCII0%?6H<L0+F#"1VYXFA$T;H6LD^-J4D+G[$'[%R4[F/
M)!4/\CU;1[V3(XF4DG28$^A*$D*;MC3J2)0)=[MPNA/8SUO6DW/.6L^<B4^L
MWY$>L@6D#3'(-"`L=/QW=_;2!D1S?N4X3@DIXZ3GM4\N$!T,0!+5YO2!_@TH
M@*"S"G"[!Z^\0:2:]0!.?BYA$YL8TBTGA&*C$?O1D<M*')(D/0=8R^9`B4"B
M7Y1X/EMB;/%.2U%FE<4^ZK',:0HY63;,T2CPJ>]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>#DS<O63U$+6=Q0,)U,TG]F=M&,<1L1
M#RI;)H"$7+$UD;H0)PL]<<92*)&Z(*]]\A8'M)LH@<0.WIU.L@YQ1MP5RW!W
MM.BC%H[U`-.#0TJRLXTD<]U-R\M8'&L^KOHA&I^H.QX%$'A4_8U8C)<^&T`Q
M@/:KUED7_[9?'74/CWXY>GWREM[NB<^HH!2?N70#'C)Y%,')VC<DM+.T<PSZ
M_Q%H&=1*I2Q@\=06P?6]>,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[<F%Q]Z`@HLDW=[2EMOUY((,P:W3PRV"))UO=TKE9^L??WS>>='\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'[<X\Z7S_>(_]>)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<P>]Y5U<PFR'XG/W<I)Y2_F+KSO$OR/4
M@:&[XT8Z7;H<ZDA.>NES.,/=%^*%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:<BF_._OU[!=Y7![7!0;H9W.0IQ<?Y5ZO
M[.C<3<USG#F%\GBQP%8X7(72V.I.LS+E`B9J3"#ZM%G-A*_:4TH5Q"]AVL.J
MX+-@:(>XWMNG[XYPR4<SVZ(CNBX!@:P41=M#K`TTUJN-380OP8(8W7!4D'B3
M3QXWX5/T/UHW-F7X(DZ588/XFV`-T'!#:P.M&C'?AEROEPC#XV`;T[8@C%6,
M"G\<=-S<]A*DZ:LS3JYJ"NY,R5S,,S(S@)_*:V=56V+/M&N8RM.^8Z4O<1X+
MMVE41B?,P0R^^/90]\U@_BY.S'HP&,3_TK`WQ9\-<U8B38CA*7D.K3K#<TQ7
M6@SQCHAJ.W_I)$+,*>#.Z-OF,K\6K\3'T9PC,AO8.<+I1A@:A'&ET=1F>Y!Y
M]1?#71=PU^\"M\U"]!9I.BR@%@<UR3D-"`N<1#X!OE"\^/N>ZZ]H12M:T8I6
4M*(5K6A%*UK1)/T;I&2ZF`!0```U
`
end
>Audit-Trail:
>Unformatted:



Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?199706291511.RAA26666>