It's a massive jump forward leading to Racket 7.0, which will be
released this summer.
On Mon, 12 Mar 2018 19:18:05 -0500,
Stephen De Gabrielle wrote:
> Am I going mad or has the version number on the nightly build gone back from
> 6.12 to 126.96.36.199? (or is that a massive jump forwards?)
> Kind regards,
> Process: DrRacket 
> Path: /private/var/folders/*/DrRacket.app/Contents/MacOS/DrRacket
> Identifier: org.racket-lang.DrRacket
> Version: 188.8.131.52 (184.108.40.206)
> Code Type: X86-64 (Native)
> Parent Process: ??? 
> Responsible: DrRacket 
> User ID: 502
> Date/Time: 2018-03-13 00:14:00.322 +0000
> OS Version: Mac OS X 10.13.3 (17D47)
> Report Version: 12
> Anonymous UUID: 818EA46D-C579-9E4C-5EAF-344B941ADCEB
> Sleep/Wake UUID: 399CC752-0959-427C-A233-C5086B6847D2
> Time Awake Since Boot: 1900 seconds
> Time Since Wake: 760 seconds
> System Integrity Protection: enabled
> Notes: Translocated Process
> Crashed Thread: 0
> Exception Type: EXC_CRASH (SIGABRT)
> Exception Codes: 0x0000000000000000, 0x0000000000000000
> Exception Note: EXC_CORPSE_NOTIFY
> Termination Reason: DYLD, [0x1] Library missing
> Application Specific Information:
> dyld: launch, loading dependent libraries
> Dyld Error Message:
> Library not loaded:
> Referenced from: /private/var/folders/*/DrRacket.app/Contents/MacOS/DrRacket
> Reason: image not found
> Binary Images:
> 0x10f05c000 - 0x10f064fff +org.racket-lang.DrRacket (220.127.116.11 - 18.104.22.168)
> 0x117aac000 - 0x117af698f dyld (519.2.2)
> <6695F30B-4E88-3C0B-9867-7D738C44A3E6> /usr/lib/dyld
> Model: MacBookPro9,
> You received this message because you are subscribed to the Google Groups
> "Racket Users" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to racket-users+unsubscr...@googlegroups.com.
> For more options, visit https://groups.google.com/d/optout.
You received this message because you are subscribed to the Google Groups
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email
For more options, visit https://groups.google.com/d/optout.